Sciweavers

179 search results - page 16 / 36
» Semantics of petri nets: a comparison
Sort
View
TACAS
2007
Springer
131views Algorithms» more  TACAS 2007»
14 years 2 months ago
From Time Petri Nets to Timed Automata: An Untimed Approach
Abstract. Time Petri Nets (TPN) and Timed Automata (TA) are widely-used formalisms for the modeling and analysis of timed systems. A recently-developed approach for the analysis of...
Davide D'Aprile, Susanna Donatelli, Arnaud Sangnie...
BPM
2009
Springer
168views Business» more  BPM 2009»
14 years 3 months ago
Divide-and-Conquer Strategies for Process Mining
The goal of Process Mining is to extract process models from logs of a system. Among the possible models to represent a process, Petri nets is an ideal candidate due to its graphic...
Josep Carmona, Jordi Cortadella, Michael Kishinevs...
CALCO
2009
Springer
141views Mathematics» more  CALCO 2009»
14 years 3 months ago
Unfolding Grammars in Adhesive Categories
We generalize the unfolding semantics, previously developed for concrete formalisms such as Petri nets and graph grammars, to the setting of (single pushout) rewriting over adhesiv...
Paolo Baldan, Andrea Corradini, Tobias Heindel, Ba...
IFM
2009
Springer
119views Formal Methods» more  IFM 2009»
14 years 3 months ago
Parallel Processes with Real-Time and Data: The ATLANTIF Intermediate Format
Abstract. To model real-life critical systems, one needs“high-level”languages to express three important concepts: complex data structures, concurrency, and real-time. So far, ...
Jan Stöcker, Frédéric Lang, Hub...
IAJIT
2008
118views more  IAJIT 2008»
13 years 8 months ago
Integration of the Association Ends within UML State Diagrams
: UML currently still lacks a rigorously defined semantics for its models, which makes formally analyzing a model and verifying its properties extremely difficult. To remedy that, ...
Thouraya Bouabana-Tebibel, Mounira Belmesk