1019 search results - page 23 / 204 » Transformations of Petri Nets |
LFCS
1997
Springer
15 years 1 months ago
1997
Springer
The paper is devoted to the investigation of behavioural equivalences of concurrent systems modelled by Petri nets. Back-forth bisimulation equivalences known from the literature a...
106
click to vote
APN
2007
Springer
15 years 3 months ago
2007
Springer
Asynchronous data communication mechanisms (ACMs) have been extensively studied as data connectors between independently timed concurrent processes. In previous work, an automatic ...
ECLIPSE
2005
ACM
14 years 11 months ago
2005
ACM
— In this paper we present a new approach to workflow analysis. There are efforts to design and verify workflow models using both Activity diagrams and Petri nets. We model the w...
APN
2001
Springer
15 years 1 months ago
2001
Springer
We address the verification of programmable logic controllers (PLC). In our approach, a PLC program is translated into a special type of colored Petri net, a so-called register net...
APN
2005
Springer
15 years 3 months ago
2005
Springer
In the framework of the study and analysis of new flight procedures, we propose a new Petri net-based formalism to represent both continuous and discrete evolutions and uncertaint...