Latin 92
Subtitle: 1st Latin American Symposium on Theoretical Informatics Sao Paulo, Brazil, April 6-10, 1992, Proceedings (Lecture Notes in Computer Science)
Publisher: Springer
Published: April 1992
Number of pages: 545
ISBN-13: 9780387552842
First sentence: Petri nets [19, 20, 18] have been widely used to design and modeling concurrent systems, as well as certain kinds of time-dependent systems.