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
Language: eng
Format: Paperback
Number of pages: 545
ISBN-13: 9783540552840
Subjects: Mathematical theory of computation; Computer Science; Discrete Mathematics; Logic; Congresses; Latin America; Computers - General Information
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.