68 search results - page 4 / 14 » A Concurrent and Compositional Petri Net Semantics of Preemp... |
TOPLAS
1998
14 years 9 months ago
1998
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...
GG
2008
Springer
14 years 10 months ago
2008
Springer
We introduce ranked open nets, a reactive extension of Petri nets which generalises a basic open net model introduced in a previous work by allowing for a refined notion of interf...
APN
2006
Springer
15 years 1 months ago
2006
Springer
Abstract. Time Petri nets have proved their interest in modeling realtime concurrent systems. Their usual semantics is defined in term of firing sequences, which can be coded in a ...
161
click to vote
AUTOMATICA
2011
14 years 4 months ago
2011
Fluidification constitutes a relaxation technique for studying discrete event systems through fluidified approximated models, thus avoiding the state explosion problem. Moreove...