For the most recent entries see the
Petri Nets Newsletter.
Nigro, L.
-
Cicirelli, Franco;
Furfaro, Angelo;
Nigro, Libero:
Distributed simulation of modular time Petri nets: An approach and a case study exploiting temporal uncertainty.
2007.
-
Cicirelli, F.;
Furfaro, A.;
Nigro, L.:
Exploiting Temporal Uncertainty in the Distributed Simulation of Time Petri Nets.
2005.
-
Cicirelli, F.;
Furfaro, Angelo;
Nigro, Libero:
Exploiting Temporal Uncertainty in the Distributed Simulation of Time Petri Nets.
2005.
-
Furfaro, A.;
Nigro, L.:
Model Checking Time Petri Nets: A Translation Approach based on Uppaal and a Case Study.
2005.
-
Furfaro, A.;
Nigro, L.;
Pupo, F.:
Distributed Simulation of Timed Coloured Petri Nets.
2002.
-
Nigro, L.;
Pupo, F.:
Schedulability Analysis of Real Time Actor Systems Using Colored Petri Nets.
2001.
-
Beraldi, R.;
Nigro, L.:
Distributed simulation of timed Petri nets - a modular approach using actors and time warp.
1999.
-
Nigro, L.;
Pupo, F.:
A modular approach to real-time programming using actors and Java.
1998.
-
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.
Do you need a refined search? Try our search engine
which allows complex field-based queries.
Are you trying to get in contact with an author? Try our
database of Petri net researchers.
Back to the Petri Nets Bibliography