Continuous Petri Nets: Expressive power and decidability issues

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4762 LNCS, Issue , 2007, Pages 362-377

  Recalde, Laura ^b   Haddad, Serge ^a   Silva, Manuel ^b  

^a UNIVERSITÉ PARIS DAUPHINE   (France)

^b UNIVERSITY OF ZARAGOZA   (Spain)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTABILITY AND DECIDABILITY; DISCRETE EVENT SIMULATION; MATHEMATICAL MODELS; PROBLEM SOLVING;

CONTINUOUS PETRI NETS; DISCRETE MODELS; STATE EXPLOSION;

PETRI NETS;

EID: 38149030113     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-75596-8_26     Document Type: Conference Paper

References (12)

1. Alla, H., David, R.: Continuous and hybrid Petri nets. Journal of Circuits, Systems, and Computers 8(1), 159-188 (1998)
2. Balduzzi, F., Di Febraro, A., Giua, A., Seatzu, C.: Decidability results in first-order hybrid Petri nets. Discrete Event Dynamic Systems 11(1-2), 41-57 (2001)
3. Ciardo, G.: Toward a definition of modeling power for stochastic Petri net models. In: Procs. of the Int. Workshop on PNPM, IEEE-Computer Society Press, Los Alamitos (1987)
4. Esparza, J., Nielsen, M.: Decidability issues for Petri nets - a survey. Bulletin of the EATCS 52, 245-262 (1994)
5. Forrester, J.W.: Principles of Systems. Productivity Press (1968)
6. Haddad, S., Recalde, L., Silva, M.: On the computational power of Timed Differentiable Petri nets. In: Asarin, E., Bouyer, P. (eds.) FORMATS 2006. LNCS, vol. 4202, pp. 230-244. Springer, Heidelberg (2006)
7. Hopcroft, J.E., Ullman, J.D.: Formal languages and their relation to automata. Addison-Wesley, Reading (1969)
8. Júlvez, J., Recalde, L., Silva, M.: On reachability in autonomous continuous Petri net systems. In: van der Aalst, W.M.P., Best, E. (eds.) ICATPN 2003. LNCS, vol. 2679, pp. 221-240. Springer, Heidelberg (2003)
9. Recalde, L., Teruel, E., Silva, M.: Autonomous continuous P/T systems. In: Donatelli, S., Kleijn, J.H.C.M. (eds.) ICATPN 1999. LNCS, vol. 1639, pp. 107-126. Springer, Heidelberg (1999)
10. Silva, M.: Introducing Petri nets. In: Practice of Petri Nets in Manufacturing, pp. 1-62. Chapman & Hall (1993)
11. Silva, M., Recalde, L.: Continuization of timed Petri nets: From performance evaluation to observation and control. In: Ciardo, G., Darondeau, P. (eds.) ICATPN 2005. LNCS, vol. 3536, pp. 26-46. Springer, Heidelberg (2005)
12. Silva, M., Teruel, E., Colom, J.M.: Linear algebraic and linear programming techniques for the analysis of net systems. In: Reisig, W., Rozenberg, G. (eds.) Lectures on Petri Nets I: Basic Models. LNCS, vol. 1491, pp. 309-373. Springer, Heidelberg (1998)