Coupling asynchrony and interrupts: Place Chart Nets
- 1 January 1997
- book chapter
- Published by Springer Nature in Lecture Notes in Computer Science
- p. 328-347
Abstract
No abstract availableKeywords
This publication has 12 references indexed in Scilit:
- Synthesizing Petri nets from state-based models1995
- On the power of bounded concurrency IJournal of the ACM, 1994
- Elementary transition systemsTheoretical Computer Science, 1992
- A survey of basic net models and modular net classes1992
- Partial (set) 2-structuresActa Informatica, 1990
- Statecharts: a visual formalism for complex systemsScience of Computer Programming, 1987
- Language Theory of Petri Nets1987
- A multiparameter analysis of the boundedness problem for vector addition systemsJournal of Computer and System Sciences, 1986
- The covering and boundedness problems for vector addition systemsTheoretical Computer Science, 1978
- Parallel program schemataJournal of Computer and System Sciences, 1969