49 search results - page 2 / 10 » A Compact Petri Net Representation for Concurrent Programs |
IFIP
1992
Springer
13 years 9 months ago
1992
Springer
This paper presents a completely systematic design procedure for asynchronous controllers. The initial step is the construction of a signal transition graph (STG, an interpreted P...
APN
2001
Springer
13 years 9 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...
HASE
1998
IEEE
13 years 9 months ago
1998
IEEE
This paper deals with verification of flow control in concurrent programs. We use Ada language model as reference. After translation of Ada programs into Petri nets (named Ada net...
APCCM
2009
13 years 6 months ago
2009
Interaction topologies in service-oriented systems are usually classified into two styles: choreographies and orchestrations. In a choreography, services interact in a peer-to-pee...
ISSTA
1996
ACM
13 years 9 months ago
1996
ACM