For the most recent entries see the
Petri Nets Newsletter.
Keyword: colored petri net
-
Zaitsev, D.A.;
Shmeleva, T.R.:
A measurement of characteristics for a single-level switched network using parametric Petri net model.
2005.
-
Zaitsev, D.A.;
Shmeleva, T.R.:
Parametric Petri net model of single-level switched network.
2005.
-
Zaitsev, D.A.:
An Evaluation of Network Response Time using a Coloured Petri Net Model of Switched LAN.
2005.
-
Zaitsev, D.A.;
Shmeleva, T.R.:
Principes of parametric Petri net models construction for switched networks.
2005.
-
Yi, Zhang;
Yong, Zhang;
Weinong, Wang:
Modeling and Analyzing of Workflow Authorization Management.
2004.
-
Son, Han Seong;
Seong, Poong Hyun:
Development of a safety critical software requirements verification method with combined CPN and PVS: a nuclear power plant protection system application.
2003.
-
Li, Xiaoou;
Marín, Joselito Medina;
Chapa, Sergio V.:
A Structural Model of ECA Rules in Active Database.
2002.
-
Choi, Injun;
Park, Chulsoon;
Lee, Changwoo:
Task net: Transactional workflow model based on colored Petri net.
2002.
-
Furuta, Richard;
Stotts, P. David:
Interpreted collaboration protocols and their use in groupware prototyping.
1994.
-
Ezpeleta, J.;
Couvreur, J.M.;
Silva, M.:
A new technique for finding a generating family of siphons, traps and st-components. Application to colored Petri Nets.
1993.
Do you need a refined search? Try our search engine
which allows complex field-based queries.
Back to the Petri Nets Bibliography