Advances in Petri nets 1986, part II on Petri nets: applications and relationships to other models of concurrency
Structured operational semantics and bisimulation as a congruence
Information and Computation
A Knowledge-based Approach to Handling Exceptions inWorkflow Systems
Computer Supported Cooperative Work
Object-oriented nets with algebraic specifications: the CO-OPN/2 formalism
Concurrent object-oriented programming and petri nets
Workflow management: models, methods, and systems
Workflow management: models, methods, and systems
Inheritance of workflows: an approach to tackling problems related to change
Theoretical Computer Science
Modeling dynamic objects in distributed systems with nested Petri nets
Fundamenta Informaticae
Distributed and Parallel Databases
Design for Change: Evolving Workflow Specifications in ULTRAflow
CAiSE '02 Proceedings of the 14th International Conference on Advanced Information Systems Engineering
From Coloured Petri Nets to Object Petri Nets
Proceedings of the 16th International Conference on Application and Theory of Petri Nets
Multi-Agent-Systems Based on Coloured Petri Nets
ICATPN '97 Proceedings of the 18th International Conference on Application and Theory of Petri Nets
ICATPN '97 Proceedings of the 18th International Conference on Application and Theory of Petri Nets
Workflow Verification: Finding Control-Flow Errors Using Petri-Net-Based Techniques
Business Process Management, Models, Techniques, and Empirical Studies
Some Decidability Results for Nested Petri Nets
PSI '99 Proceedings of the Third International Andrei Ershov Memorial Conference on Perspectives of System Informatics
Evidence-based careflow management systems: the case of post-stroke rehabilitation
Journal of Biomedical Informatics
Correctness criteria for dynamic changes in workflow systems: a survey
Data & Knowledge Engineering - Special issue: Advances in business process management
Applications and Theory of Petri Nets 2005: 26th International Conference, ICATPN 2005, Miami, FL, June 20-25, 2005, Proceedings (Lecture Notes in Computer Science)
Nested Petri Nets: Multi-level and Recursive Systems
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P'2000)
Soundness and separability of workflow nets in the stepwise refinement approach
ICATPN'03 Proceedings of the 24th international conference on Applications and theory of Petri nets
High-level nets with nets and rules as tokens
ICATPN'05 Proceedings of the 26th international conference on Applications and Theory of Petri Nets
Reference and value semantics are equivalent for ordinary object petri nets
ICATPN'05 Proceedings of the 26th international conference on Applications and Theory of Petri Nets
Smooth integration of decision support into an existing electronic patient record
AIME'05 Proceedings of the 10th conference on Artificial Intelligence in Medicine
Guideline-based careflow systems
Artificial Intelligence in Medicine
LogLogics: A logic for history-dependent business processes
Science of Computer Programming
Code mobility modeling: a temporal labeled reconfigurable nets
Proceedings of the 1st international conference on MOBILe Wireless MiddleWARE, Operating Systems, and Applications
Checking Properties of Adaptive Workflow Nets
Fundamenta Informaticae - Special Issue on Concurrency Specification and Programming (CS&P)
Modelling collaborative workflows using recursive ECATNets
NOTERE '08 Proceedings of the 8th international conference on New technologies in distributed systems
Modelling and Analysis of Time-Constrained Flexible Workflows with Time Recursive ECATNets
Web Services and Formal Methods
Hornets: Nets within Nets Combined with Net Algebra
PETRI NETS '09 Proceedings of the 30th International Conference on Applications and Theory of Petri Nets
Towards analysis of flexible and collaborative workflow using recursive ECATNets
BPM'07 Proceedings of the 2007 international conference on Business process management
Adaptive workflows for healthcare information systems
BPM'07 Proceedings of the 2007 international conference on Business process management
Nested Petri nets for adaptive process modeling
Pillars of computer science
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P)
Interacting Workflow Nets for Workflow Process Re-Engineering
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P)
Boundedness of adaptive nets is decidable
Information Processing Letters
Nets-Within-Nets paradigm and grid computing
Transactions on Petri Nets and Other Models of Concurrency V
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P)
Checking Properties of Adaptive Workflow Nets
Fundamenta Informaticae - Special Issue on Concurrency Specification and Programming (CS&P)
P- and t-systems in the nets-within-nets-formalism
PETRI NETS'12 Proceedings of the 33rd international conference on Application and Theory of Petri Nets
Adaptive workflow nets for grid computing
PaCT'07 Proceedings of the 9th international conference on Parallel Computing Technologies
Conservative Elementary Object Systems
Fundamenta Informaticae - Concurrency Specification and Programming CS&P
Hi-index | 0.02 |
We consider nested nets, i.e. Petri nets in which tokens can be Petri nets themselves. We study the value semantics of nested nets rather than the reference semantics, and apply nested nets to model adaptive workflow, i.e. flexible workflow that can be modified during the execution. A typical domain with a great need for this kind of workflow is health care, from which domain we choose the running example. To achieve the desired flexibility we allow transitions that create new nets out of the existing ones. Therefore, nets with completely new structure can be created at the run time. We show that by careful selection of basic operations on the nets we can obtain a powerful modeling formalism that enforces correctness of models. Moreover, the formalism can be implemented based on existing workflow engines.