For the most recent entries see the
Petri Nets Newsletter.
Keyword: real-time
-
Di Marzo Serugendo, Giovanna;
Mandrioli, Dino;
Buchs, Didier;
Guelfi, Nicolas:
Real-Time Synchronised Petri Nets.
2002.
-
Xiang, H.;
Chen, J.H.;
Zhou, Y.F.;
Zhou, J.:
A Multi-sensor Inspection System Based on RMOS.
2002.
-
Naedele, Martin:
An Approach for Modeling and Evaluation of Functional and Timing Specifications of Real-Time Systems.
2001.
-
Chen, Ing-Ray;
Wang, Ding-Chau;
Chu, Chih-Ping:
Response time behavior of distributed voting algorithms for managing replicated data.
2000.
-
Di Marzo Serugendo, Giovanna;
Mandrioli, D.;
Buchs, D.;
Guelfi, N.:
Adding Real-Time Constraints to Synchronised Petri Nets.
2000.
-
Nigro, Libero;
Pupo, Francesco:
Using Design/CPN for the Schedulability Analysis of Actor Systems with Timing Constraints.
1998.
-
Nigro, Libero;
Pupo, Francesco:
Modeling and Analysing DART Systems Through High-Level Petri Nets.
1996.
-
Sacha, Krzysztof M.:
Real-time software specification and validation with Transnet.
1994.
-
Vasiliev, V.V.;
Zbanashek, Z.;
Kuzmuk, V.V.;
Lisitsin, E.B.:
One Approach to Simulation and Management in Flexible Production Systems.
1989.
Do you need a refined search? Try our search engine
which allows complex field-based queries.
Back to the Petri Nets Bibliography