For the most recent entries see the
Petri Nets Newsletter.
Keyword: high-level petri nets
-
Cabac, Lawrence;
Duvigneau, Michael;
Moldt, Daniel;
Rölke, Heiko:
Applying Multi-agent Concepts to Dynamic Plug-In Architectures.
2006.
-
Cabac, Lawrence;
Knaak, Nicolas;
Moldt, Daniel;
Rölke, Heiko:
Analysis of Multi-Agent Interactions with Process Mining Techniques.
2006.
-
Cabac, Lawrence;
Duvigneau, Michael;
Moldt, Daniel;
Rölke, Heiko:
Multi-agent concepts as basis for dynamic plug-in software architectures.
2005.
-
Cabac, Lawrence;
Moldt, Daniel:
Formal Semantics for AUML Agent Interaction Protocol Diagrams.
2005.
-
Köhler, Michael;
Ortmann, Jan:
Service Modeling Based on High-Level Petri Nets.
2005.
-
Cabac, Lawrence;
Duvigneau, Michael;
Moldt, Daniel;
Rölke, Heiko:
Modeling Dynamic Architectures Using Nets-Within-Nets.
2005.
-
Moldt, Daniel;
Offermann, Sven;
Ortmann, Jan:
A Proposal for Petri Net Based Web Service Application Modeling.
2004.
-
Moldt, Daniel;
Ortmann, Jan:
A Conceptual and Practical Framework for Web-Based Processes in Multi-Agent Systems.
2004.
-
Moldt, Daniel;
Ortmann, Jan:
DaGen: A Tool for Automatic Translation from DAML-S to High-Level Petri Nets.
2004.
-
Reza, Hassan;
Grant, Emmanuel:
A Formal Approach to Software Architecture of Agent-Base Systems.
2004.
-
Hassapis, George;
Ananidou, Dimitra:
Modeling and verification of a class of real-time systems by the use of High Level Petri Nets.
2003.
-
Cabac, Lawrence;
Moldt, Daniel;
Rölke, Heiko:
A Proposal for Structuring Petri Net-Based Agent Interaction Protocols.
2003.
-
Köhler, Michael;
Moldt, Daniel;
Rölke, Heiko:
Modelling Mobility and Mobile Agents Using Nets within Nets.
2003.
-
Khomenko, Victor;
Koutny, Maciej:
Branching Processes of High-Level Petri Nets.
2003.
-
Aalto, Annikka;
Husberg, Nisse;
Varpaaniemi, Kimmo:
Automatic Formal Model Generation and Analysis of SDL.
2003.
-
Moldt, Daniel;
Rölke, Heiko:
Pattern Based Workflow Design Using Reference Nets.
2003.
-
Klaudel, Hanna:
Compositional high-level Petri net semantics of a parallel programming language with procedures.
2001.
-
Latvala, Timo:
Model Checking LTL Properties of High-Level Petri Nets with Fairness Constraints.
2001.
-
Mäkelä, Marko:
Optimising Enabling Tests and Unfoldings of Algebraic System Nets.
2001.
-
Allain, L.;
Yim, P.:
Specification of an active database system application using dynamic relation nets.
2000.
-
Farwer, B.:
A multi-region linear logic based calculus for dynamic Petri net structures.
2000.
-
He, X.:
Translating hierarchical predicate transition nets to CC++ programs.
2000.
-
Salum, L.:
A new class of a high-level Petri net modeling logical OR efficiently: colored AND/OR Petri nets (CARPN).
2000.
-
Sanders, M.J.:
Efficient computation of enabled transition bindings in high-level Petri nets.
2000.
-
Xu, D.;
Deng, Y.:
Modeling mobile agent systems with high level Petri nets.
2000.
-
Bastide, Rémi;
Sy, Ousmane;
Palanque, Philippe;
Navarre, David:
Formal specification of CORBA services: experience and lessons learned.
2000.
-
Bastide, Rémi;
Sy, Ousmane;
Palanque, Philippe;
Navarre, David:
A Formal Specification of the CORBA Event Service.
2000.
-
Capellmann, C.;
Dibold, H.;
Herzog, U.:
Using high-level Petri nets in the field of intelligent networks.
1999.
-
Gonzales, A.;
Crespo, A.:
Environment for the development and specification of real-time Ada programs.
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.
-
Mikolajczak, B.:
Applications of high-level Petri nets in systematic development of complex information systems.
1999.
-
Mikolajczak, B.;
Rumbut Jr., J.T.:
Distributed dynamic programming using concurrent object-orientedness with actors visualized by high-level Petri nets.
1999.
-
Padberg, J.:
Abstract Petri nets as a uniform approach to high-level Petri nets.
1999.
-
Richter, Gernot:
Flip-Tick Architecture. A Design Paradigm for Cycle-Oriented Distributed Systems.
1999.
-
Wu, Z.:
CEM/T net, a high level Petri net for FMS modeling.
1999.
-
Valentin-Roubinet, C.:
Hybrid Systems modelling: Mixed Petri Nets.
1999.
-
Bastide, Rémi;
Palanque, Philippe;
Sy, Ousmane;
Le, Duc-Hoa;
Navarre, David:
Petri Net Based Behavioural Specification of CORBA Systems.
1999.
-
Best, E.;
Fraczak, W.;
Hopkins, R.P.;
Klaudel, H.;
Pelz, E.:
M-nets: an algebra of high-level Petri nets with an applications to the semantics of concurrent programming languages.
1998.
-
Di Marzo Serugendo, G.;
Guelfi, N.:
Using object-oriented algebraic nets for the reverse engineering of Java programs: a case study.
1998.
-
Franceschinis, G.;
Ribaudo, M.:
Efficient Performance Analysis Techniques for Stochastic Well-formed Nets and Stochastic Process Algebras.
1998.
-
Gerogiannis, V.C.;
Kameas, A.D.;
Pintelas, P.E.:
Comparative study and categorization of high-level Petri nets.
1998.
-
Holvoet, T.;
Kielmann, T.:
Behaviour specification of parallel active objects.
1998.
-
Jensen, K.:
An Introduction to the Practical Use of Coloured Petri Nets.
1998.
-
Johnsson, C.;
Arzen, K.-E.:
Grafchart for recipe-based batch control.
1998.
-
Padberg, J.;
Gajewsky, M.;
Ermel, C.:
Rule-based refinement of high-level nets preserving safety properties.
1998.
-
Tricas, F.;
Martinez, J.:
Distributed control systems simulation using high level Petri nets.
1998.
-
Valentin-Roubinet, C.:
Modelling of Hybrid Systems : DAE supervised by Petri Nets. The example of the gas storage.
1998.
-
Völzer, H.:
Verifying fault tolerance of distributed algorithms formally - an example.
1998.
-
Weitz, W.:
Combining structured documents with high-level Petri-nets for workflow modeling in Internet-based commerce.
1998.
-
Colombo, Armando Walter:
Development and Implementation of Hierarchical Control Structures of Flexible Production Systems Using High-Level Petri Nets.
1998.
-
Fisler, Kathi;
Girault, Claude:
Modelling and Model Checking a Distributed Shared Memory Consistency Protocol.
1998.
-
Billington, J.:
Development of an International Standard for High-level Petri Nets.
1997.
-
Billington, J.;
Tokmakoff, A.:
Petri Nets and Traders: Enabling Technolgies for Virtual Enterprises.
1997.
-
Desel, J.:
How distributed algorithms play the token game.
1997.
-
Devillers, Raymond;
Klaudel, Hanna;
Riemann, Robert-Christoph:
General refinement for high level Petri nets.
1997.
-
Kis, Tamás;
Neuendorf, Klaus-Peter;
Xirouchakis, Paul:
Scheduling with Chameleon Nets.
1997.
-
Fleischhack, Hans;
Grahlmann, Bernd:
A Petri Net Semantics for B(PN)² with Procedures.
1997.
-
Holvoet, T.;
Kielmann, T.:
Behavior specification of active objects in open generative communication environment.
1997.
-
Uchihira, N.;
Honiden, S.:
A high-level Petri net for accurate modeling of reactive and concurrent systems.
1996.
-
Anisimov, N.A.;
Kishinski, K.;
Miloslavski, A.;
Postupalski, P.A.:
Macroplaces in High Level Petri Nets: Application for Design Inbound Call Center.
1996.
-
Fleischhack, H.;
Grahlmann, B.:
A Petri Net Semantics for B(PN)² with Procedures which Allows Verification.
1996.
-
Liu, N.K.;
Dillon, T.:
Formal description and verification of production systems.
1995.
-
Gracanin, D.;
Srinivasan, P.;
Valavanis, K.P.:
Parameterized Petri nets and their application to planning and coordination in intelligent systems.
1994.
-
Li, L.W.:
High-level Petri net model of logic program with negation.
1994.
-
Oberweis, A.;
Scherrer, G.;
Stucky, W.:
INCOME/STAR - methodology and tools for the development of distributed information systems.
1994.
-
Scarpelli, H.;
Gomide, F.:
A high-level net approach for discovering potential inconsistencies in fuzzy knowledge bases.
1994.
-
van der Aalst, W.M.P.:
Putting high-level Petri nets to work in industry.
1994.
-
Jensen, Kurt:
An introduction to the theoretical aspects of coloured Petri nets.
1993.
-
Wienberg, Frank;
Duvigneau, Michael;
Rölke, Heiko:
Informal Introduction to the Feature Structure Nets Tool - A Tool for Process and Information Modeling.
06.
Do you need a refined search? Try our search engine
which allows complex field-based queries.
Back to the Petri Nets Bibliography