Multiple enabledness of transitions in petri nets with time

Proceedings - 9th International Workshop on Petri Nets and Performance Models, PNPM 2001

Volumn , Issue , 2001, Pages 219-228

  Boyer, Marc ^a   Dim, Michel ^a  

^a LAAS CNRS   (France)

Author keywords

System design using nets; Timed nets

Indexed keywords

SEMANTICS;

SYSTEM DESIGN USING NET; TIME PETRI NETS; TIMED NETS;

PETRI NETS;

EID: 85117698197     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1109/PNPM.2001.953371     Document Type: Conference Paper

References (21)

1. M. Ajmone Marsan, G. Balbo, A. Bobbio, G. Chiola, G. Conte, and A. Cumani. The effect of execution policies on the semantics and analysis of stochastic Petri nets. IEEE Transations on Software Engineering, 15(7):832-846, July 1989.
2. M. Ajmone Marsan, G. Balbo, G. Conte, S. Donatelli, and G. Franceschinis. Modelling with Generalized Stochastic Petri Nets. Series in parallel computing. Wiley, 1995.
3. R. Alur and D. L. Dill. A theory of timed automata. Theoretical Computer Science, 126:183-235, 1994.
4. T. Aura and J. Lilius. Time processes for time Petri nets. In AzCma and Balbo [5], pages 136-155.
5. P. Azema and G. Balbo, editors. Proceedings of the 18th International Conference on Application and Theory of Petri nets (ICATPN’97),volume 1248 of Lecture Notes in Computer Sciences, Toulouse, France, June 1997. SpringerVerIag.
6. B. Berthomieu and M. Diaz. Modeling and verification of time dependant systems using Time Petri Nets. IEEE Transactions on Software Engineering, 17(3):259-273, March 1991.
7. A. Bobbio, A. Puliafito, and M. Tekel. A modeling framework to implement preemption policies on nonMarkovian SPNs. IEEE Transations on Software Engineering, 26(1):36-54, January 2000.
8. H. Boucheneb and G. Berthelot. Toward a simplified building of Time Petri Nets reachability graph. In Proceedings of the 5th International Workshop on Petri Nets and Performance Models (PNPM’93),pages 46-55, Toulouse, France, October 1993. SITEF and LAAS-CNRS, IEEE Computer Society Press.
9. M. Boyer and E Vemadat. Language and bisimulation relations between subclasses of timed Petri nets with strong liming semantic. Technical Report 00146, LAASKNRS, Toulouse, France, March 2000. Submitted to TCS.
10. A. Cerone and A. Maggiolo-Schettini. Time-baseexpressivity of time Petri nets for system specification. Theoretical Computer Science, 216(1-2):l-53, March 1999.
11. D. de Frutos Escrig, V. Valero Ruiz, and O.M. Alonsa. Decidability of properties of timed-arc Petri nets. In M. Nielsen and D. Simpson, editors, Proceedings of the 21st International Conference on Application and Theory of Petri Nets (ICATPN 2000), volume 1825 of LNCS, pages 187-206, Aarhus, Denmark, June 2000. Springer-Verlag.
12. S. Donatelli, S. Haddad, and P. Moreaux. Structured characterization of the markov chain of phase-type stochastic Petri nets. In Proceedings of Tenth International Conference for Computer Performance Evaluation (TOOLS’98), Palma de Majorque, Spain, September 1998.
13. R. V. Glabbeek and G. Plotkin. Configuration structures (extended abstract). In D. Kozen, editor, Proceedings 10th Annual IEEE Symposium on Logic in Computer Science, (LICS’95),pages 199-209, San Diego, USA, June 1995. IEEE Computer Society Press.
14. S. Haddad, P. Moreaux, and G. Chiola. Efficient handling of phase-type distributions in generalized stochastic Petri nets. In AzCma and Balbo [5], pages 175-194.
15. N. D. Jones, L. H. Landweber, and Y.E. Lien. Complexity of some problems in Petri nets. Theoretical ComputerScience, 4: 277-299, 1977.
16. W. Khansa, J. Denat, and S. Collart-Dutilleul. P-Time Petri nets for manufacturing systems. In Proc. of WODES’96, pages 94-102, Edimburgh, UK, 1996.
17. P. Merlin. A study of the recoverability of computer system. PhD thesis, Dep. Comput. Sci., Univ. California, Irvine, 1974.
18. C. Ramchandani. Analysis of Asynchronous Concurrent Systems by Timed Petri Nets. PhD thesis, MIT, Cambridge, Feb 1974.
19. P. Senac, M. Diaz, A. Leger, and P. de Saqui-Sannes. Modelling logical and temporal synchronization in hypermedia systems. IEEE Journal on Selected Areas in Communications, 14(1):84-103, Januar 1996.
20. V. Valero Ruiz, D. de Frutos Escrig, and E Cuartero Gomez. On non-decidability of reachability for timed-arc Petri nets. In P. Buchailz and M. Silva, editors, Proceeding of International Workshop on Petri Nets and Perormance Models (PNPM’99), pages 188-196, Zaragoza, Spain, September 1999. IEEE Computer Society.
21. B. Walter. Timed net for modeling and analysing protocols with time. In Proceedings of the IFIP Conference on Protocol Specification Testing and Verification,North Holland, 1983.