Generalized Petri net reduction method
IEEE Transactions on Systems, Man and Cybernetics - Special issue on artificial intelligence
Reduction and synthesis of live and bounded free choice Petri nets
Information and Computation
Free choice Petri nets
Petri net algebra
Petri Nets for System Engineering: A Guide to Modeling, Verification, and Applications
Petri Nets for System Engineering: A Guide to Modeling, Verification, and Applications
Reduction and Design of Well-behaved Concurrent Systems
CONCUR '90 Proceedings of the Theories of Concurrency: Unification and Extension
Compositional Synthesis of Live and Bounded Free Choice Petri Nets
CONCUR '91 Proceedings of the 2nd International Conference on Concurrency Theory
ICATPN '97 Proceedings of the 18th International Conference on Application and Theory of Petri Nets
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
On liveness preservation by composition of nets via a set of places
Papers from the 11th International Conference on Applications and Theory of Petri Net: Advances in Petri Nets 1991
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
A synthesis rule for concurrent systems
DAC '78 Proceedings of the 15th Design Automation Conference
On liveness and boundedness of asymmetric choice nets
Theoretical Computer Science
Invariant-preserving transformations for the verification of place/transition systems
IEEE Transactions on Systems, Man, and Cybernetics, Part A: Systems and Humans
Modeling a flexible manufacturing cell using stochastic Petri nets with fuzzy parameters
Expert Systems with Applications: An International Journal
Hi-index | 5.23 |
This paper handles two problems in manufacturing system design: resource sharing and system abstraction. In a manufacturing system, resources such as robots, machines, etc. are shared by several processes. When the resources are switched from one process to another, they may need some modifications such as cleaning oil, adding equipments and so on. Previous designing methods assume that the resources have no intermediate modifications. Hence, they need to be extended to handle such kinds of resource-sharing problems. As for abstraction, modeling operations with single places in manufacturing system design is very popular. From the viewpoint of verification, the objective is to verify whether the reduced model has the same desirable properties as the original one. This paper presents three kinds of property-preserving subnet reduction methods. For each reduction method, conditions are presented for ensuring that the properties liveness, boundedness and reversibility are preserved. Applications of these reduction methods to handling the above resource sharing and system abstraction problems are illustrated with an example from the manufacturing system.