Name
Abstract | ||
|---|---|---|
This paper considers time Petri nets (TPN for short) and its classical semantics (Merlin's semantics). It discusses an alternative semantics, called FIFO-semantics. FIFO-semantics is based on ages of tokens and manages tokens w.r.t. FIFO (First In First Out) discipline (FIFO-TPN). This paper first shows that FIFO-TPN are very appropriate to deal with some conflicting situations (which cannot always be modelled by the classical semantics) and shows its conciseness for conflicts modeling. Then, it compares the theoretical expressiveness of FIFO-TPN vs classical-TPN and shows that, despite FIFO-TPN add expressiveness in the general case, for bounded models, they have the same expressive power w.r.t. weak timed bisimulation. |
Year | DOI | Venue |
|---|---|---|
2012 | 10.3182/20121003-3-MX-4033.00025 | IFAC Proceedings Volumes |
Keywords | Field | DocType |
Time Petri nets,semantics,conflicts,expressiveness,timed bisimulation | Programming language,Petri net,FIFO (computing and electronics),Computer science,FIFO and LIFO accounting,Bisimulation,Expressive power,Semantics,Distributed computing,Bounded function,Expressivity | Conference |
Volume | Issue | ISSN |
45 | 29 | 1474-6670 |
Citations | PageRank | References |
2 | 0.43 | 9 |
Authors | ||
3 | ||
Name | Order | Citations | PageRank |
|---|---|---|---|
| H. Boucheneb | 1 | 17 | 3.46 |
| Adrien Bullich | 2 | 2 | 0.43 |
| olivier h roux | 3 | 671 | 46.30 |