E-book

Application and Theory of Petri Nets and Concurrency [electronic resource] : 34th International Conference, PETRI NETS 2013, Milan, Italy, June 24-28, 2013. Proceedings / edited by José-Manuel Colom, Jörg Desel.

Record details

Subject:

Add to basket Print Email Permalink Disable Highlighting

Table of Contents

	The Right Timing: Reflections on the Modeling and Analysis of Time
	Eliminating Concurrency Bugs in Multithreaded Software: An Approach Based on Control of Petri Nets
	Contextual Merged Processes
	Ï-Petri Nets
	Results on Equivalence, Boundedness, Liveness, and Covering Problems of BPP-Petri Nets
	A Semantics for Every GSPN
	Expressing and Computing Passage Time Measures of GSPN Models with HASL
	On Multi-enabledness in Time Petri Nets
	Complexity Results for Elementary Hornets
	Complexity Analysis of Continuous Petri Nets
	Step Persistence in the Design of GALS Systems
	A Taxonomy of Persistent and Nonviolent Steps
	Colouring Space - A Coloured Framework for Spatial Modelling in Systems Biology
	The Vehicle Relocation Problem in Car Sharing Systems: Modeling and Simulation in a Petri Net Framework
	Net-Based Analysis of Event Processing Networks â The Fast Flower Delivery Case
	Hierarchical Conformance Checking of Process Models Based on Event Logs
	Discovering Block-Structured Process Models from Event Logs - A Constructive Approach
	Faster Verification of Partially Ordered Runs in Petri Nets Using Compact Tokenflows
	Unifying the Semantics of Modular Extensions of Petri Nets
	Channel Properties of Asynchronously Composed Petri Nets
	MARCIE â Model Checking and Reachability Analysis Done Efficiently
	CPN Tools 4: Multi-formalism and Extensibility.