Free choice Petri nets
Petri Nets for System Engineering: A Guide to Modeling, Verification, and Applications
Petri Nets for System Engineering: A Guide to Modeling, Verification, and Applications
Lectures on Petri Nets I: Basic Models, Advances in Petri Nets, the volumes are based on the Advanced Course on Petri Nets
Place or Transition Petri Nets
Lectures on Petri Nets I: Basic Models, Advances in Petri Nets, the volumes are based on the Advanced Course on Petri Nets
WG '93 Proceedings of the 19th International Workshop on Graph-Theoretic Concepts in Computer Science
Checking properties of nets using transformation
Advances in Petri Nets 1985, covers the 6th European Workshop on Applications and Theory in Petri Nets-selected papers
A survey of behaviour and equivalence preserving refinements of Petri nets
Proceedings of the 10th International Conference on Applications and Theory of Petri Nets: Advances in Petri Nets 1990
Hi-index | 0.00 |
This paper considers two kinds of refinement transformations in terms of places and transitions, and proves that regularity can be preserved automatically for pure and ordinary connected nets under the two refinement transformations. By discussing the relationship between siphons of the original net and the refined net, this paper proves that liveness and boundedness can also be preserved automatically for these refined regular Petri nets. The two property-preserved refinement transformations can be used to construct large and complex net models in Petri-net-based system design and verification. An example coming from the manufacturing system is used to illustrate main results of this paper.