[CITATION][C] Petri nets and Grafcet: tools for modelling discrete event systems
R David, H Alla - 1992 - dl.acm.org
… It had been shown that Merlin's Time Petri Nets are a special case of Time Stream Petri
Nets. In this paper, we show that it does not exist a time equivalence between both models.
We extend first this result to the nonequivalence of Timed Automata and ... … Petri Net, a
widely studied mathematical formalism, is a graphical notation for modeling systems. Petri
Nets provide the foundation for modeling concurrency, communication, synchronization,
and resource sharing constraints that are inherent to many ... …
Nets. In this paper, we show that it does not exist a time equivalence between both models.
We extend first this result to the nonequivalence of Timed Automata and ... … Petri Net, a
widely studied mathematical formalism, is a graphical notation for modeling systems. Petri
Nets provide the foundation for modeling concurrency, communication, synchronization,
and resource sharing constraints that are inherent to many ... …
Showing the best result for this search. See all results