2 search results - page 1 / 1 » Compact Regions for Place Transition Nets |
152
click to vote
APN
1994
Springer
15 years 10 months 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...
157
click to vote
DAC
1996
ACM
15 years 10 months 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...