252 search results - page 19 / 51 » A Petri Net Synthesis Method |
CAISE
2003
Springer
13 years 11 months ago
2003
Springer
This paper presents an approach for the improvement of the efficiency of the performance analysis of large workflow models. We propose a simple and powerful decidable Petri net red...
IFL
1999
Springer
13 years 11 months ago
1999
Springer
d abstract) Claus Reinke
AC
2003
Springer
14 years 24 days ago
2003
Springer
Abstract. There exists ample literature on Petri nets and its potential in the modelling, analysis, synthesis and implementation of systems in the manufacturing applications domain...
FORMATS
2008
Springer
13 years 9 months ago
2008
Springer
Time dependant models have been intensively studied for many reasons, among others because of their applications in software verification and due to the development of embedded pla...
PPDP
2004
Springer
14 years 27 days ago
2004
Springer
Object Petri nets (OPNs) provide a natural and modular method for modelling many real-world systems. We give a structure-preserving translation of OPNs to Prolog by encoding the O...