Show items per page
Elements: 7
Page 1 on 1
 TitleAuthors / EditorsDate
add to browser selection
Unifying the syntax and semantics of modular extensions of Petri nets Marechal Marin, Alexis Ayar 2013
add to browser selection
A multi-dimensional compositional approach for business process semantic engineering Chen, Ang 2009
add to browser selection
Modeling Distributed Systems using Concurrent Object Oriented Petri Nets Chen, Ang; Buchs, Didier; Lucio, Levi; Pedro, Luis; Risoldi, Matteo 2006
add to browser selection
Real-Time Synchronised Petri Nets Di Marzo Serugendo, Giovanna; Mandrioli, Dino; Buchs, Didier; Guelfi, Nicolas 2002
add to browser selection
A Formal Development and Validation Methodology Applied to Agent-Based Systems Di Marzo Serugendo, Giovanna 2001
add to browser selection
Formal development of Java based Web parallel applications Di Marzo Serugendo, Giovanna; Guelfi, Nicolas 1998
add to browser selection
Using object-oriented algebraic nets for the reverse engineering of Java programs: a case study Di Marzo Serugendo, Giovanna; Guelfi, Nicolas 1998