Gianfranco Ciardo, Philippe Darondeau Applications and Theory of Petri Nets 2005 - 2005 ISBN: 978-3-540-31559-9 Subjects--Topical Terms: Computer Communication NetworksDiscrete Mathematics in Computer ScienceIT in BusinessOperating SystemsSoftware EngineeringTheory of ComputationComputer Science