Share This Author
The Petri Net Markup Language: Concepts, Technology, and Tools
The design principles, the basic concepts, and the underlying XML technology of PNML are discussed to stimulate discussion on and contributions to a standard Petri net interchange format.
Systems and Software Verification, Model-Checking Techniques and Tools
The author provides a well written and basic introduction to the new technique model checking, which describes in simple terms the theoretical basis of model checking: transition systems as a formal model of systems, temporal logic asA formal language for behavioral properties, and model-checking algorithms.
Systems and Software Verification
ion by state merging consists in viewing some states of an automaton as identical. We also speak of folding, or quotient. We can visualize state merging in a very concrete way: the merged states are…
FAST: acceleration from theory to practice
- Sébastien Bardin, A. Finkel, Jérôme Leroux, L. Petrucci
- Computer ScienceInternational Journal on Software Tools for…
- 19 September 2008
From the underlying theory to the architecture choices, the tool Fast, a tool for the analysis of systems manipulating unbounded integer variables, is described, including a range of case studies from the literature.
Modular Analysis of Petri Nets
This paper shows how two of the most important analysis methods for Petri nets can be performed in a modular way by means of modular Place/Transitions nets (modular PT-nets) in which the individual modules interact via shared places and shared transitions.
FAST: Fast Acceleration of Symbolikc Transition Systems
The underlying theory, the architecture choices that have been made in the tool design and the capabilities are compared with those of other tools are described.
A primer on the Petri Net Markup Language and ISO/IEC 15909-2
The Petri Net Markup Language (PNML) is about to be finally adopted as ISO/IEC 15909-2, and it is hoped that this paper will unify the different lines of PNML and advertise the use of ISO/ IEC 159 09-2.
Structural Analysis of Workflow Nets with Shared Resources
Improved Multi-Core Nested Depth-First Search
Cndfs is presented, a tight integration of two earlier multi-core nested depth-first search (Ndfs) algorithms for LTL model checking that exhibits more robust performance with similar scalability, while at the same time reducing memory requirements.
PNML Framework: An Extendable Reference Implementation of the Petri Net Markup Language
PNML Framework is presented, a companion implementation of the standard that abstracts away from any XML explicit manipulation and ensures compliance with the standard by using APIs.