498 search results - page 17 / 100 » On the Category of Petri Net Computations |
ICCCI
2009
Springer
14 years 1 months ago
2009
Springer
APN
2006
Springer
14 years 5 days ago
2006
Springer
AUTOMATICA
2005
13 years 8 months ago
2005
The number of states in discrete event systems can increase exponentially with respect to the size of the system. A way to face this state explosion problem consists of relaxing t...
ICCS
2004
Springer
14 years 1 months ago
2004
Springer
We propose to use high-level Petri nets as a model for the semantics of high-level parallel systems. This model is known to be useful for the purpose of verification and we show t...
WSC
2004
13 years 9 months ago
2004
Computer Automated Multi-Paradigm Modelling (CAMPaM) is an enabler for domain-specific analysis and design. Traffic, a new untimed visual formalism for vehicle traffic networks, i...