Skip to search formSkip to main contentSkip to account menu
The Petri Net Markup Language: Concepts, Technology, and Tools
TLDR
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.
View via Publisher
Systems and Software Verification, Model-Checking Techniques and Tools
TLDR
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.
View Paper
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…
View on Springer
FAST: acceleration from theory to practice
TLDR
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.
View on Springer
Modular Analysis of Petri Nets
TLDR
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.
View via Publisher
FAST: Fast Acceleration of Symbolikc Transition Systems
TLDR
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.
View via Publisher
A primer on the Petri Net Markup Language and ISO/IEC 15909-2
TLDR
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
TLDR
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.
View via Publisher
PNML Framework: An Extendable Reference Implementation of the Petri Net Markup Language
TLDR
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.
View via Publisher
...
...
By clicking accept or continuing to use the site, you agree to the terms outlined in our Privacy Policy, Terms of Service, and Dataset License