http://www.loc.gov/mods/v3 http://www.loc.gov/standards/mods/v3/mods-3-2.xsd
1 online resource (viii, 848 pages) : illustrations
Business process management demystified : a tutorial on models, systems and standards for workflow management / Wil M.P. van der Aalst -- InterPlay : horizontal scale-up and transition to design in scenario-based programming / Dan Barak, David Harel and Rami Marelly -- Timed automata : semantics, algorithms and tools / Johan Bengtsson and Wang Yi -- Petri nets and dependability / Simona Bernardi, Andrea Bobbio and Susanna Donatelli -- Process algebra : a Petri-net-oriented tutorial / Eike Best and Maciej Koutny -- A coloured Petri net approach to protocol verification / Jonathan Billington, Guy Edward Gallasch and Bing Han.
Jörg Desel, Wolfgang Reisig, Grzegorz Rozenberg (eds.).
Lecture notes in computer science ; 3098