112 search results - page 11 / 23 » Towards a Petri Net Semantics for Membrane Systems |
90
Voted
IFM
2009
Springer
15 years 7 months ago
2009
Springer
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, ...
128
click to vote
ESM
2000
15 years 1 months ago
2000
Petri Nets and higher order versions like Predicate Transition Nets (Pr/T-Nets) are very suitable for modeling event-oriented discrete and even parallel systems. Obviously, the ne...
112
click to vote
AC
2003
Springer
15 years 4 months ago
2003
Springer
Abstract. Over the last decade there has been a shift from "data-aware" information systems to "process-aware" information systems. To support business processe...
106
Voted
IAJIT
2008
15 years 15 days ago
2008
: 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, ...
87
Voted
BPM
2009
Springer
15 years 7 months ago
2009
Springer
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...