Lectures on Concurrency and Petri Nets
Subtitle: Advances in Petri Nets (Lecture Notes in Computer Science)
Contributors: Jörg Desel (Editor); Wolfgang Reisig (Editor); Grzegorz Rozenberg (Editor)
Edition: 1 edition
Publisher: Springer
Published: August 5, 2004
Language: eng
Format: Paperback
Number of pages: 849
ISBN-13: 9783540222613
Subjects: Mathematical logic; Petri nets; Congresses; Computer Science; Computers; Computers - General Information; Parallel processing (Electronic computers); Computer Books: General; Parallel processing (Electroni; General; Networking - General; Computers / Computer Science; business process modeling; concurrency; concurrent systems; distributed systems; embedded systems; formal methods; formal verification; Reference - General; Machine theory
First sentence: To show the relevance of Business Process Management (BPM) systems, it is interesting to put them in a historical perspective.