2 search results - page 1 / 1 » Compact Regions for Place Transition Nets |
APN
1994
Springer
14 years 19 days ago
1994
Springer
This paper shows how Coloured Petri Nets (CP-nets) can be extended to support synchronous communication. We introduce coloured communication channels through which transitions are...
DAC
1996
ACM
14 years 20 days ago
1996
ACM
This paper proposes a state encoding method for asynchronous circuits based on the theory of regions. A region in a Transition System is a set of states that "behave uniforml...