Advances in Petri nets 1986, part I on Petri nets: central models and their properties
Behaviour of elementary net systems
Advances in Petri nets 1986, part I on Petri nets: central models and their properties
Object-oriented modeling and design
Object-oriented modeling and design
Petri Net Theory and the Modeling of Systems
Petri Net Theory and the Modeling of Systems
Proceedings of an Advanced Course on Petri Nets: Central Models and Their Properties, Advances in Petri Nets 1986-Part II
From Coloured Petri Nets to Object Petri Nets
Proceedings of the 16th International Conference on Application and Theory of Petri Nets
Proceedings of the 15th International Conference on Application and Theory of Petri Nets
On Processes of Object Petri Nets
On Processes of Object Petri Nets
Concurrency in communicating object petri nets
Concurrent object-oriented programming and petri nets
Formal Specification and Prototyping of CORBA Systems
ECOOP '99 Proceedings of the 13th European Conference on Object-Oriented Programming
A Systematic Approach towards Object-Based Petri Net Formalisms
PSI '02 Revised Papers from the 4th International Andrei Ershov Memorial Conference on Perspectives of System Informatics: Akademgorodok, Novosibirsk, Russia
A Net-Based Multi-tier Behavior Inheritance Modelling Method
PSI '02 Revised Papers from the 4th International Andrei Ershov Memorial Conference on Perspectives of System Informatics: Akademgorodok, Novosibirsk, Russia
PN2: An Elementary Model for Design and Analysis of Multi-agent Systems
COORDINATION '02 Proceedings of the 5th International Conference on Coordination Models and Languages
Symmetric Communication between Coloured Petri Net Simulations and Java-Processes
Proceedings of the 20th International Conference on Application and Theory of Petri Nets
Modelling the Structure and Behaviour of Petri Net Agents
ICATPN '01 Proceedings of the 22nd International Conference on Application and Theory of Petri Nets
ICATPN '02 Proceedings of the 23rd International Conference on Applications and Theory of Petri Nets
Rewriting Logic as a Unifying Framework for Petri Nets
Unifying Petri Nets, Advances in Petri Nets
Object Oriented Petri Nets in Business Process Modeling
Business Process Management, Models, Techniques, and Empirical Studies
Techniques for Modeling Workflows and Their Support of Reuse
Business Process Management, Models, Techniques, and Empirical Studies
PEPA Nets: A Structured Performance Modelling Formalism
TOOLS '02 Proceedings of the 12th International Conference on Computer Performance Evaluation, Modelling Techniques and Tools
Some Decidability Results for Nested Petri Nets
PSI '99 Proceedings of the Third International Andrei Ershov Memorial Conference on Perspectives of System Informatics
Petri Net Based Behavioural Specification of CORBA Systems
Proceedings of the 20th International Conference on Application and Theory of Petri Nets
A Secure Mobile Agent System Model Based on Extended Elementary Object System
COMPSAC '04 Proceedings of the 28th Annual International Computer Software and Applications Conference - Volume 01
Modelling of batch production systems using Petri nets with dynamic tokens
Mathematics and Computers in Simulation
Plugin-Agents as Conceptual Basis for Flexible Software Structures
CEEMAS '07 Proceedings of the 5th international Central and Eastern European conference on Multi-Agent Systems and Applications V
Agent Models for Concurrent Software Systems
MATES '08 Proceedings of the 6th German conference on Multiagent System Technologies
Automating Performance Analysis from Taverna Workflows
CBSE '08 Proceedings of the 11th International Symposium on Component-Based Software Engineering
ECA-Rule Visual Programming for Ubiquitous and Nomadic Computing
MICAI '08 Proceedings of the 7th Mexican International Conference on Artificial Intelligence: Advances in Artificial Intelligence
Hornets: Nets within Nets Combined with Net Algebra
PETRI NETS '09 Proceedings of the 30th International Conference on Applications and Theory of Petri Nets
An uncoordinated asynchronous checkpointing model for hierarchical scientific workflows
Journal of Computer and System Sciences
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P)
Model-based testing approach for mobile agents using the paradigm of reference net
Multiagent and Grid Systems
Modeling organizational units as modular components of systems of systems
Transactions on Petri nets and other models of concurrency IV
(Symbolic) state-space inspection of a class of dynamic Petri nets
Proceedings of the 2010 Summer Computer Simulation Conference
Modeling and simulation of mobile agents systems using a multi-level net formalism
MICAI'06 Proceedings of the 5th Mexican international conference on Artificial Intelligence
Fragmented workflows supported by an agent based architecture
AOIS'05 Proceedings of the 7th international conference on Agent-Oriented Information Systems III
Ubiquitous systems and petri nets
ICCSA'05 Proceedings of the 2005 international conference on Computational Science and Its Applications - Volume Part II
A framework for the development and execution of horizontal protocols in open BPM systems
BPM'06 Proceedings of the 4th international conference on Business Process Management
ICSOC'05 Proceedings of the Third international conference on Service-Oriented Computing
Translation of nets within nets in cross-organizational software process modeling
SPW'05 Proceedings of the 2005 international conference on Unifying the Software Process Spectrum
EC-Web'06 Proceedings of the 7th international conference on E-Commerce and Web Technologies
A distributed implementation of mobile nets as mobile agents
FMOODS'05 Proceedings of the 7th IFIP WG 6.1 international conference on Formal Methods for Open Object-Based Distributed Systems
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
Modelling mobility with petri hypernets
WADT'04 Proceedings of the 17th international conference on Recent Trends in Algebraic Development Techniques
Towards a distributed tool platform based on mobile agents
MATES'05 Proceedings of the Third German conference on Multiagent System Technologies
Analysis of multi-agent interactions with process mining techniques
MATES'06 Proceedings of the 4th German conference on Multiagent System Technologies
Symbolic semantics for the verification of security properties of mobile petri nets
ATVA'06 Proceedings of the 4th international conference on Automated Technology for Verification and Analysis
Applying multi-agent concepts to dynamic plug-in architectures
AOSE'05 Proceedings of the 6th international conference on Agent-Oriented Software Engineering
Statecharts as protocols for objects
ROOM'00 Proceedings of the 2000 international conference on Rigorous Object-Oriented Methods
Modeling and mining of learnflows
Transactions on Petri Nets and Other Models of Concurrency V
Nets-Within-Nets paradigm and grid computing
Transactions on Petri Nets and Other Models of Concurrency V
Enforcing QoS in scientific workflow systems enacted over Cloud infrastructures
Journal of Computer and System Sciences
Invariant analysis for ordering constraints of multi-view business process model
APWeb'12 Proceedings of the 14th international conference on Web Technologies and Applications
A Basic Logic for Reasoning about Connector Reconfiguration
Fundamenta Informaticae - Behavior of Composed Concurrent Systems: Logic and Reasoning
A Multi-facet Approach to Dynamic Agent Systems
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P)
Fundamenta Informaticae - Special Issue on Concurrency Specification and Programming (CS&P)
Decidability Problems of a Basic Class of Object Nets
Fundamenta Informaticae - Special Issue on Concurrency Specification and Programming (CS&P)
Nets-within-Nets to model innovative space system architectures
PETRI NETS'12 Proceedings of the 33rd international conference on Application and Theory of Petri Nets
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
Expressing and Verifying Temporal and Structural Properties of Mobile Agents
Fundamenta Informaticae - SPECIAL ISSUE ON CONCURRENCY SPECIFICATION AND PROGRAMMING (CS&P 2005) Ruciane-Nide, Poland, 28-30 September 2005
Modelling Global and Local Name Spaces for Mobile Agents Using Object Nets
Fundamenta Informaticae - SPECIAL ISSUE ON CONCURRENCY SPECIFICATION AND PROGRAMMING (CS&P 2005) Ruciane-Nide, Poland, 28-30 September 2005
Fundamenta Informaticae - SPECIAL ISSUE ON CONCURRENCY SPECIFICATION AND PROGRAMMING (CS&P 2005) Ruciane-Nide, Poland, 28-30 September 2005
Mobile Object-Net Systems and their Processes
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P 2003)
Concurrency in Mobile Object Net Systems
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P'2002), Part 1
Modelling with Hierarchical Object Petri Nets
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P'2002), Part 2
Fundamenta Informaticae - Concurrency Specification and Programming Workshop (CS&P'2001)
Modeling Dynamic Objects in Distributed Systems with Nested Petri Nets
Fundamenta Informaticae - Concurrency Specification and Programming Workshop (CS&P'2001)
Comparing Concepts of Object Petri Net Formalisms
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P'2000)
Nested Petri Nets: Multi-level and Recursive Systems
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P'2000)
A Multi-region Linear Logic Based Calculus for Dynamic Petri Net Structures
Fundamenta Informaticae
A Linear Logic View of Object Petri Nets
Fundamenta Informaticae
Modeling smart home using the paradigm of nets within nets
AIMSA'12 Proceedings of the 15th international conference on Artificial Intelligence: methodology, systems, and applications
Modeling a Secure Sensor Network Using an Extended Elementary Object System
International Journal of Cognitive Informatics and Natural Intelligence
Multiscale Modeling and Analysis of Planar Cell Polarity in the Drosophila Wing
IEEE/ACM Transactions on Computational Biology and Bioinformatics (TCBB)
Cellular Resource-Driven Automata
Fundamenta Informaticae - Concurrency Specification and Programming CS&P
Hi-index | 0.00 |
The model of Elementary Object System is introduced and motivated by several examples and applications. Object systems support a modeling of systems by Petri nets following the paradigm of Object-Oriented Modeling. They are composed of a System Net and one or more Object Nets which can be seen as token objects of the system net. By this approach an interesting and challenging two-level system modeling technique is introduced. Similar to the object-oriented approach, complex systems are modeled close to their real appearance in a natural way to promote clear and reliable concepts. Applications in fields like workflow, flexible manufacturing or agent-oriented approaches (mobile agents and/or intelligent agents as in AI research) are feasible. This paper gives an introduction with several examples, but only few definitions and no theorems, which can be found, however, in a more elaborated paper.