On structuring mechanisms for Petri nets based system design
暂无分享,去创建一个
[1] Rainer Fehling,et al. A Concept of Hierarchical Petri Nets with Building Blocks , 1991, Applications and Theory of Petri Nets.
[2] Adolfo Steiger-Garção,et al. Programmable Controller Design based on a Synchronized Colored Petri Net Model and Integrated Fuzzy Reasoning , 1995, Application and Theory of Petri Nets.
[3] Pierre Verbaeten,et al. Petri charts: an alternative technique for hierarchical net construction , 1995, 1995 IEEE International Conference on Systems, Man and Cybernetics. Intelligent Systems for the 21st Century.
[4] Xudong He,et al. A Formal Definition of Hierarchical Predicate Transition Nets , 1996, Application and Theory of Petri Nets.
[5] Kurt Jensen,et al. Coloured Petri Nets: Basic Concepts, Analysis Methods and Practical Use. Vol. 2, Analysis Methods , 1992 .
[6] Luís Filipe dos Santos Gomes. Redes de Petri reactivas e hierárquicas - integração de formalismos no projecto de sistemas reactivos de tempo-real , 1997 .
[7] Peter Buchholz,et al. Hierarchical High Level Petri Nets for Complex System Analysis , 1994, Application and Theory of Petri Nets.
[8] Peter Huber,et al. Hierarchies in coloured Petri nets , 1991, Applications and Theory of Petri Nets.
[9] Luís Gomes,et al. Modifying Petri net models by means of crosscutting operations , 2003, Third International Conference on Application of Concurrency to System Design, 2003. Proceedings..
[10] Luca Bernardinello,et al. A survey of basic net models and modular net classes , 1992, Advances in Petri Nets: The DEMON Project.
[11] Manuel Silva. Las Redes de Petri : en la Automática y la Informática , 2002 .
[12] Jörn W. Janneck,et al. Modeling hierarchical and recursive structures using parametric Petri nets , 1998 .
[13] Charles Lakos,et al. Composing Abstractions of Coloured Petri Nets , 2000, ICATPN.
[14] David Harel,et al. Statecharts: A Visual Formalism for Complex Systems , 1987, Sci. Comput. Program..
[15] Charles Lakos,et al. On the Abstraction of Coloured Petri Nets , 1997, ICATPN.