Application and Theory of Petri Nets 2000
Subtitle: 21st International Conference, ICATPN 2000, Aarhus, Denmark, June 26-30, 2000 Proceedings (Lecture Notes in Computer Science)
Contributors: Mogens Nielsen (Editor); Dan Simpson (Editor)
Edition: 1 edition
Publisher: Springer
Published: July 26, 2000
Language: eng
Format: Paperback
Number of pages: 484
ISBN-13: 9783540676935
Subjects: Parallel processing; General; Computer Mathematics; Computers; Mathematics; Petri nets; Computer Books: General; Networking - General; Logic; Business Process Modeling; Computer Networks; Computers / Computer Science; Concurrent Systems; Formal Methods; Hardware Design; Systems Design; Systems Verification; Computer Science; Congresses
First sentence: Finite State Machines has been the most traditional model of computation for sequential circuits [25, 26].