Timed Petri nets and timed automata: On the discriminating power of zeno sequences
Information and Computation
A Basic Logic for Reasoning about Connector Reconfiguration
Fundamenta Informaticae - Behavior of Composed Concurrent Systems: Logic and Reasoning
Transforming sources to petri nets: a way to analyze execution of parallel programs
Proceedings of the 1st international conference on Simulation tools and techniques for communications, networks and systems & workshops
Nets with tokens which carry data
ICATPN'07 Proceedings of the 28th international conference on Applications and theory of Petri nets and other models of concurrency
GA optimization of Petri net-modeled concurrent service systems
Applied Soft Computing
A grid workflow language using high-level petri nets
PPAM'05 Proceedings of the 6th international conference on Parallel Processing and Applied Mathematics
Timed petri nets and timed automata: on the discriminating power of zeno sequences
ICALP'06 Proceedings of the 33rd international conference on Automata, Languages and Programming - Volume Part II
Colored petri nets to verify extended event-driven process chains
OTM'05 Proceedings of the 2005 Confederated international conference on On the Move to Meaningful Internet Systems - Volume >Part I
Formal deadlock checking on high-level SystemC designs
Proceedings of the International Conference on Computer-Aided Design
The (true) concurrent markov property and some applications to markov nets
ICATPN'05 Proceedings of the 26th international conference on Applications and Theory of Petri Nets
Canonical transition set semantics for petri nets
PETRI NETS'10 Proceedings of the 31st international conference on Applications and Theory of Petri Nets
Component-Based Software Development for Embedded Systems
DENEB: a platform for the development and execution of interoperable dynamic Web processes
Concurrency and Computation: Practice & Experience
Discovering process models from event multiset
Expert Systems with Applications: An International Journal
A Basic Logic for Reasoning about Connector Reconfiguration
Fundamenta Informaticae - Behavior of Composed Concurrent Systems: Logic and Reasoning
Nets with Tokens which Carry Data
Fundamenta Informaticae - PETRI NETS 2007
Fundamenta Informaticae - SPECIAL ISSUE ON CONCURRENCY SPECIFICATION AND PROGRAMMING (CS&P 2005) Ruciane-Nide, Poland, 28-30 September 2005
Model based specification, verification, and test generation for a safety fieldbus profile
SAFECOMP'12 Proceedings of the 31st international conference on Computer Safety, Reliability, and Security
Extreme symmetries in complex distributed systems: the bag-oriented approach
Proceedings of the 17th Monterey conference on Large-Scale Complex IT Systems: development, operation and management
Data-driven modeling and simulation framework for material handling systems in coal mines
Computers and Industrial Engineering
Hi-index | 0.00 |
Using formal methods for the specification and verification of hardware and software systems is becoming increasingly important as systems increase in size and complexity. The aim of the book is to illustrate progress in formal methods based on Petri net formalisms. It presents both practical and theoretical foundations for the use of Petri nets in complex system engineering tasks. In doing so it bridges the gap between Petri nets and the systems modeling and implementation process. It contains a collection of examples arising from different fields, such as flexible manufacturing, telecommunication and workflow management systems.