For the most recent entries see the
Petri Nets Newsletter.
Keyword: colored petri nets
-
Chen, Yi-Ming;
Kao, Yung-Wei:
Information Flow Query and Verification for Security Policy of Security-Enhanced Linux.
2006.
-
Chin, K. S.;
Mok, C. K.;
Zu, Xu:
Modeling and performance simulation of mould-design process.
2006.
-
van Hee, Kees;
Oanea, Olivia;
Sidorova, Natalia:
Colored Petri Nets to Verify Extended Event-Driven Process Chains.
2005.
-
van der Aalst, W.M.P.;
Jørgensen, J.B.;
Lassen, K.B.:
Let's Go All the Way: From Requirements Via Colored Workflow Nets to a BPEL Implementation of a New Bank System.
2005.
-
van Hee, Kees;
Oanea, Olivia;
Sidorova, Natalia:
Colored Petri Nets to Verify Extended Event-Driven Process Chains.
2005.
-
Billington, J.;
Gallasch, G.E.;
Kristensen, L.M.;
Mailund, T.:
Exploiting Equivalence Reduction and the Sweep-Line Method for Detecting Terminal States.
2004.
-
Bellettini, Carlo;
Capra, Lorenzo:
A Quotient Graph for Asymmetric Distributed Systems.
2004.
-
Teo, Lawrence;
Sun, Yu-An;
Ahn, Gail-Joon:
Defeating Internet Attacks Using Risk Awareness and Active Honeypots.
2004.
-
Zimmermann, A.;
Freiheit, J.;
Huck, A.:
A Petri net based design engine for manufacturing systems.
2001.
-
Dehnert, J.;
Freiheit, J.;
Zimmermann, A.:
Workflow modeling and performance evaluation with colored stochastic Petri nets.
2000.
-
Einer, S.;
Slovak, R.;
Schnieder, E.:
Modeling train control system with Petri nets - an operational specification.
2000.
-
Ey, H.;
Sackmann, D.;
Mutz, M.:
Adaptive job-shop scheduling with routing and sequencing flexibility using expert knowledge and colored Petri nets.
2000.
-
Farwer, B.:
A multi-region linear logic based calculus for dynamic Petri net structures.
2000.
-
Gries, Matthias:
Modeling a Memory Subsystem with Petri Nets: A Case Study.
2000.
-
Jiang, Z.;
Zuo, M.J.;
Fung, R.Y.K.;
Tu, P.Y.:
Temporized colored Petri nets with changeable structure (CPN-CS) for performance modeling of dynamic production systems.
2000.
-
Kuo, C.-H.;
Huang, H.-P.:
Failure modeling and process monitoring for flexible manufacturing systems using colored timed Petri nets.
2000.
-
Meunier, P.;
Denis, B.;
Lesage, J.-J.:
Comparison of different modeling approaches in simulation of programmable logic controllers.
2000.
-
Nakata, T.;
Ootsuki, J.T.;
Sekiguchi, T.:
CASE application of colored Petri nets to development of a distributed scheduling system.
2000.
-
Nandula, M.;
Dutta, S.P.:
Performance evaluation of an auction-based manufacturing system using colored Petri nets.
2000.
-
Padberg, J.;
Gajewsky, M.:
Rule-based refinement of Petri nets for modeling train control systems.
2000.
-
Wu, W.;
Saeki, M.:
Specifying software architectures based on colored Petri nets.
2000.
-
Yao, S.;
Billington, J.;
Mingtian, Z.:
CPN modeling of the WebMUX protocol.
2000.
-
Zimmermann, A.;
Freiheit, J.;
German, R.;
Hommel, G.:
Petri net modeling and performability evaluation with TimeNET 3.0.
2000.
-
Benders, L.P.M.:
Specification and performance analysis of embedded systems with colored Petri nets.
1999.
-
Bruneton, E.;
Pradat-Peyre, J.-F.:
Automatic verification of concurrent Ada program.
1999.
-
Feldmann, K.;
Colombo, A.W.;
Schnur, C.;
Stockel, T.:
Specification and implementation of logic controllers based on colored Petri net models and the standard IEC 1131. II: Design and implementation.
1999.
-
Feldmann, K.;
Colombo, A.W.;
Schnur, C.;
Stockel, T.:
Specification, design, and implementation of logic controllers based on colored Petri net models and the standard IEC 1131 part I: specification and design.
1999.
-
Hsieh, S.;
Chen, Y.F.:
AGVSimNet: A Petri-net-based AGVS simulation system.
1999.
-
Jorgensen, J.B.;
Kristensen, L.M.:
Computer aided verification of Lamport's fast mutual exclusion algorithm using colored Petri nets and occurrence graphs with symmetries.
1999.
-
Kang, S.J.;
Jang, S.H.;
Hwang, H.S.;
Woo, K.B.:
Colored timed Petri nets modeling and job scheduling using GA of semiconductor manufacturing.
1999.
-
Kuo, C.-H.;
Huang, H.-P.:
Integrated manufacturing system modeling and simulation using distributed colored timed Petri nets.
1999.
-
Li, X.;
Lara-Rosano, F.:
Modeling an electronic component manufacturing system using object-oriented colored Petri nets.
1999.
-
Li, X.;
Xu, X.;
Rosano, F.L.:
Modeling manufacturing systems using object-oriented colored Petri nets.
1999.
-
Lin, M.-H.;
Fu, L.-C.:
Modeling, analysis, simulation and control of semiconductor manufacturing systems: a generalized stochastic colored timed Petri net approach.
1999.
-
Makungu, M.;
Barbeau, M.;
St-Denis, R.:
Synthesis of controllers of processes modeled as colored Petri nets.
1999.
-
Manouer, A.B.;
Sekiguchi, T.;
Fujii, Y.;
Ito, T.;
Tanaka, H.:
Colored Petri net based modeling and simulation of the static and dynamic allocation policies of the asynchronous bandwidth in the Fieldbus protocol.
1999.
-
Nam, Y.;
Wohn, K.;
Lee-Kwang, H.:
Modeling and recognition of hand gesture using colored Petri nets.
1999.
-
Padberg, J.:
Abstract Petri nets as a uniform approach to high-level Petri nets.
1999.
-
Reid, M.;
Zuberek, W.M.:
Timed Petri net models of ATM LANs.
1999.
-
Son, H.;
Seong, P.:
A software safety evaluation method based on fuzzy colored Petri nets.
1999.
-
Wheeler, G.:
The modeling and analysis of IEEE 802.6's configuration control protocol with colored Petri nets.
1999.
-
Wu, F.:
Fuzzy time semirings and fuzzy-timing colored Petri nets.
1999.
-
Wu, N.:
Necessary and sufficient conditions for deadlock--free operation in flexible manufacturing systems using a colored Petri net model.
1999.
-
Zimmermann, A.;
Hommel, G.:
Modelling and evaluation of manufacturing systems using dedicated Petri nets.
1999.
-
Abouaissa, H.;
Ferney, M.:
Qualitative modeling and analysis of dynamic systems: a unified approach based on bond graphs and colored Petri nets.
1998.
-
Chang, W.-T.;
Tseng, C.-C.;
Chou, W.-K.:
Petri net based analysis on object assignment in distributed object-oriented systems.
1998.
-
Christensen, S.;
Petrucci, L.:
How to determine and use place flows in colored Petri nets.
1998.
-
Cukic, B.;
Ammar, H.H.;
Lateef, K.:
Identifying high-risk scenarios of complex systems using input domain partitioning.
1998.
-
de Farias, G.F.;
Turnell, M.F.Q.V.:
Modeling the user interface of an industrial system in colored Petri nets.
1998.
-
de Sousa, M.R.F.;
Turnell, M.F.Q.V.:
User interface evaluation based on colored Petri nets modeling and analysis.
1998.
-
Fernandes, J.M.;
Belo, O.:
Modeling multi-agent system activities through colored Petri nets: an industrial production system case study.
1998.
-
Grode, J.;
Madsen, J.:
A unified component modeling approach for performance estimation in hardware/software codesign.
1998.
-
Jensen, K.:
A brief introduction to colored Petri nets.
1998.
-
Kacmar, C.;
Carey, J.;
Alexaander, M.:
Providing workflow services using a programmable hypermedia environment.
1998.
-
Kuo, C.-H.;
Huang, H.-P.;
Yeh, M.-C.:
Object-oriented approach to MCTPN for modeling flexible manufacturing systems.
1998.
-
Lee, N.-H.;
Hong, J.-E.;
Cha, S.-D.;
Bae, D.-H.:
Towards reusable colored Petri nets.
1998.
-
Nigro, L.;
Pupo, F.:
A modular approach to real-time programming using actors and Java.
1998.
-
ter Hofstede, A.H.M.;
Proper, H.A.:
How to formalize it - formalization principles for information system development methods.
1998.
-
Ustimenko, Alexander P.:
Coloured Cause-Effect Structures.
1998.
-
Wang, L.C.;
Wu, S.Y.:
Modeling with colored timed object-oriented Petri nets for automated manufacturing systems.
1998.
-
Xu, J.;
Kuusela, J.:
Modeling execution architecture of software system using colored Petri nets.
1998.
-
Yeung, W.H.R.;
Moore, P.R.:
Towards a fault-tolerant cell controller for flexible assembly systems - and approach using colored Petri nets.
1998.
-
Bourcerie, M.;
Morel, J.-Y.:
Algebraically structured colored Petri nets to model sequential processes.
1997.
-
Diagne, Alioune;
Ilié, Jean-Michel;
Moldt, Daniel:
A Petri net-based support for object-oriented specification of complex control systems.
1997.
-
Cho, S.M.;
Hing, H.S.;
Cha, S.D.:
Safety analysis using colored Petri nets.
1996.
-
Makungu, M.;
St.Denis, R.;
Barbeau, M.:
A colored Petri net based formal method for the design of control systems.
1996.
-
Zimmermann, A.;
Bode, S.;
Hommel, G.:
Performance and Dependability Evaluation of Manufacturing Systems Using Petri Nets.
1996.
-
Pettit, Robert G.;
Gomaa, Hassan:
Integrating Petri Nets with Design Methods for Concurrent and Real-Time Systems.
1996.
-
Gerzson, M.;
Hangos, K.M.:
Analysis of controlled technological systems using high-level Petri nets.
1995.
-
Ma, X.;
Hintz, T.:
Re-Vision: a methodology and tool for parallel computations.
1995.
-
van der Aalst, W.M.P.;
Odijk, M.A.:
Analysis of railway stations by means of interval timed colored Petri nets.
1995.
-
Yang, Y.Y.;
Linkens, D.A.;
Mort, N.:
Modeling and simulation of s soaking-pit/rolling-mill process-based on extended colored Petri nets.
1995.
-
Zimmermann, Armin:
Modeling of Manufacturing Systems and Production Routes Using Coloured Petri Nets.
1995.
-
Zuberek, W.M.:
Application of timed Petri nets to modeling and analysis of flexible manufacturing cells.
1995.
-
Zuberek, W.M.:
Schedules of flexible manufacturing cells and their timed colored Petri net models.
1995.
-
Bilinski, K.;
Adamski, M.;
Saul, J.M.;
Dagless, E.L.:
Petri net based algorithms for parallel controller synthesis.
1994.
-
Shiizuka, H.;
Suzuki, M.:
Modeling of AGV networks in flexible manufacturing systems.
1994.
-
Tchako, J.F.N.;
Beldjilali, B.;
Trentesaux, D.;
Tahon, C.:
Modeling with colored timed Petri nets and simulation of a dynamic and distributed management system for a manufacturing cell.
1994.
-
Zimmermann, Armin:
A Modeling Method for Flexible Manufacturing Systems based on Colored Petri Nets.
1994.
-
Borusan, A.:
Colored Petri net based modeling of FMS.
1993.
-
Ezpeleta, J.;
Martínez, J.;
Colom, J.M.:
Synthesis of Live High Level Models for a Class of FMS.
1993.
-
Zuberek, W.M.:
Throughput analysis in timed 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