ArticleCoverability graphs for a class of synchronously executed unbounded petri net
References (11)
- et al.
Parallel program schemata
J. Comput. System Sci.
(May 1969) - et al.
Subset languages of Petri nets. I. The relationship to string languages and normal forms
Theoret. Comput. Sci.
(1983) - et al.
Subset languages of Petri nets. II. Closure properties
Theoret. Comput. Sci.
(1983) - et al.
Timing requirements for time-driven systems using augmented Petri nets
IEEE Trans. Software Engrg.
(Sept. 1983) - et al.
A generalized timed Petri net model for performance analysis
IEEE Trans. Soffward Engrg.
(Dec. 1987)
There are more references available in the full text version of this article.
Cited by (0)
- ∗
CESDIS is a research institute at the NASA Goddard Space Flight Center, Greenbelt, Maryland, created by NASA, the USRA, and the University of Maryland.
Copyright © 1990 Published by Elsevier Inc.