A Simple Positive Flows Computation Algorithm for a Large Subclass of Colored Nets
FORTE '07 Proceedings of the 27th IFIP WG 6.1 international conference on Formal Techniques for Networked and Distributed Systems
On systematic methods to remove redundant monitors from liveness-enforcing net supervisors
Computers and Industrial Engineering
Beyond soundness: on the verification of semantic business process models
Distributed and Parallel Databases
On compliance checking for clausal constraints in annotated process models
Information Systems Frontiers
Hi-index | 0.00 |
Implicit places are a powerful tool inside Petri net theory, used in many design phases of a system. Firstly used as a reduction rule of Petri nets, now are widely used in quantitative and qualitative analysis, synthesis of models or in fault-tolerant implementations. This paper reviews the basic definitions and results on these places, clarifying many of the previous proofs. We also present new results concerning concurrent implicit places (preserving the enabling degree of transitions). Finally, we study the characterization of structurally implicit places and the problem of the computation of the minimal initial marking making implicit a structurally implicit place. We show that this last problem is NP-complete for live and safe free-choice systems.