@article{oai:nagano-nct.repo.nii.ac.jp:00000397,
 author = {和崎, 克己 and 不破, 泰 and 江口, 正義 and 中村, 八束},
 journal = {長野工業高等専門学校紀要},
 month = {Dec},
 note = {application, In this paper, we propose an extension of Petri nets (LC-net) suitable for control systems design and discuss its methods of evaluation. This LC-net is a marked net with addition of the following features: data assignment of marks, representation of firing conditions as logic equations, coupling of output procedures with transition firing, etc. Also, since the concept of transition firing evaluation orders is omitted from the analysis of conventional Petri nets, we introduce this concept formally in our proposed net. Finally, in order to study the behavior of a system modelled with this net, we provide a means for searching the reachability tree of markings. This LC-net is a extended Petri nets which solve a problem of description from  Place/Transition Petri nets (PNs) and Colored Petri nets (CPNs) before.},
 pages = {17--25},
 title = {制御システムのモデル化に適するように拡張した論理カラーペトリネット},
 volume = {29},
 year = {1995}
}