Petri Nets as Token Objects

Subscribe (Full Service)


	Search: The ACM Digital Library The Guide

	Feedback
Take a look at the new version of this page: [ beta version ]. Tell us what you think.

Petri Nets as Token Objects: An Introduction to Elementary Object Nets

Source

Lecture Notes In Computer Science; Vol. 1420 archive
Proceedings of the 19th International Conference on Application and Theory of Petri Nets table of contents

Pages: 1 - 25

Year of Publication: 1998

ISBN:3-540-64677-9

Author

Rüdiger Valk

Publisher

Springer-Verlag London, UK

Bibliometrics

Downloads (6 Weeks): n/a, Downloads (12 Months): n/a, Citation Count: 30

Additional Information:

cited by collaborative colleagues

Tools and Actions:	Review this Article Save this Article to a Binder Display Formats: BibTeX EndNote ACM Ref

CITED BY 30

	Irina A. Lomazova, Modeling dynamic objects in distributed systems with nested Petri nets, Fundamenta Informaticae, v.51 n.1, p.121-133, June 2002
	Berndt Farwer , Kundan Misra, Modelling with hierarchical object Petri nets, Fundamenta Informaticae, v.55 n.2, p.129-147, May 2003
	Michael Köhler , Heiko Rölke, Concurrency in mobile object net systems, Fundamenta Informaticae, v.54 n.2-3, p.221-235, February 2003
	Dianxiang Xu , Jianwen Yin , Yi Deng , Junhua Ding, A Formal Architectural Model for Logical Agent Mobility, IEEE Transactions on Software Engineering, v.29 n.1, p.31-45, January 2003
	Stephen Gilmore , Jane Hillston , Leila Kloul , Marina Ribaudo, PEPA nets: a structured performance modelling formalism, Performance Evaluation, v.54 n.2, p.79-104, 1 October 2003
	Berndt Farwer, Dynamic modification of object Petri nets: an application to modelling protocols with fork-join structures, Fundamenta Informaticae, v.51 n.1, p.91-101, June 2002
	Berndt Farwer , Michael Leuschel, Model checking object petri nets in prolog, Proceedings of the 6th ACM SIGPLAN international conference on Principles and practice of declarative programming, p.20-31, August 24-26, 2004, Verona, Italy
	Ernesto López-Mellado , Norma Villanueva-Paredes , Hugo Almeyda-Canepa, Modelling of batch production systems using petri nets with dynamic tokens, Mathematics and Computers in Simulation, v.67 n.6, p.541-558, 3 January 2005
	Lawrence Cabac , Michael Duvigneau , Daniel Moldt , Heiko Rölke, Multi-agent concepts as basis for dynamic plug-in software architectures, Proceedings of the fourth international joint conference on Autonomous agents and multiagent systems, July 25-29, 2005, The Netherlands
	I. A. Lomazova, Recursive Nested Petri Nets: Analysis of Semantic Properties and Expessibility, Programming and Computing Software, v.27 n.4, p.183-193, July-August 2001
	Bernd Farwer, Comparing Concepts of Object Petri Net Formalisms, Fundamenta Informaticae, v.47 n.3-4, p.247-258, August 2001
	Irina A. Lomazova, Nested Petri Nets: Multi-level and Recursive Systems, Fundamenta Informaticae, v.47 n.3-4, p.283-293, August 2001
	LiGuo Huang , Barry Boehm , Hao Hu , Jidong Ge , Jian Lü , Cheng Qian, Applying the Value/Petri process to ERP software development in China, Proceeding of the 28th international conference on Software engineering, May 20-28, 2006, Shanghai, China
	Iliano Cervesato , Andre Scedrov, Relating State-Based and Process-Based Concurrency through Linear Logic, Electronic Notes in Theoretical Computer Science (ENTCS), 165, p.145-176, November, 2006
	Julia Fix , Christian von Scheve , Daniel Moldt, Emotion-based norm enforcement and maintenance in multi-agent systems: foundations and petri net modeling, Proceedings of the fifth international joint conference on Autonomous agents and multiagent systems, May 08-12, 2006, Hakodate, Japan
	Fernando Rosa-Velardo, Coding Mobile Synchronizing Petri Nets into Rewriting Logic, Electronic Notes in Theoretical Computer Science (ENTCS), v.174 n.1, p.83-98, April, 2007
	Marek A. Bednarczyk , Wojciech Jamroga , Wiesław Pawłowski, Expressing and Verifying Temporal and Structural Properties of Mobile Agents, Fundamenta Informaticae, v.72 n.1-3, p.51-63, January 2006
	Berndt Farwer , Michael Köhler, Modelling Global and Local Name Spaces for Mobile Agents Using Object Nets, Fundamenta Informaticae, v.72 n.1-3, p.109-122, January 2006
	Berndt Farwer , Mauricio Varea, Separation of Control and Data Flow in High-Level Petri Nets: Transforming Dual Flow Nets into Object Petri Nets, Fundamenta Informaticae, v.72 n.1-3, p.123-137, January 2006
	Berndt Farwer , Michael Köhler, Mobile Object-Net Systems and their Processes, Fundamenta Informaticae, v.60 n.1-4, p.113-129, January 2004
	Viktor Horvath , Till Dörges, From security patterns to implementation using petri nets, Proceedings of the fourth international workshop on Software engineering for secure systems, p.17-24, May 17-18, 2008, Leipzig, Germany
	Ludwik Czaja, Interpreted Nets, Fundamenta Informaticae, v.79 n.3-4, p.283-293, August 2007
	Roxana Dietze , Manfred Kudlek , Olaf Kummer, Decidability Problems of a Basic Class of Object Nets, Fundamenta Informaticae, v.79 n.3-4, p.295-302, August 2007
	Dave Clarke, A Basic Logic for Reasoning about Connector Reconfiguration, Fundamenta Informaticae, v.82 n.4, p.361-390, February 2008
	Rafael Tolosana-Calasanz , José A. Bañares , Pedro Álvarez , Joaquín Ezpeleta , Omer F. Rana, Exception handling patterns for hierarchical scientific workflows, Proceedings of the 6th international workshop on Middleware for grid computing, p.1-6, December 01-05, 2008, Leuven, Belgium
	Marek A. Bednarczyk , Wiesław Pawłowski , Luca Bernardinello , Lucia Pomello , Tomasz Borzyszkowski, A Multi-facet Approach to Dynamic Agent Systems, Fundamenta Informaticae, v.85 n.1-4, p.19-33, September 2008
	Toshiyuki Miyamoto , Masaki Sakamoto , Sadatoshi Kumagai, On Reachability Analysis of Multi Agent Nets, IEICE Transactions on Fundamentals of Electronics, Communications and Computer Sciences, v.E90-A n.10, p.2257-2260, October 2007
	Lorenzo Capra, (Toward) discrete-event simulation of reflective Petri nets, Proceedings of the 2009 Spring Simulation Multiconference, March 22-27, 2009, San Diego, California
	David Navarre , Philippe Palanque , Jean-Francois Ladry , Eric Barboni, ICOs: A model-based user interface description technique dedicated to interactive systems addressing usability, reliability and scalability, ACM Transactions on Computer-Human Interaction (TOCHI), v.16 n.4, p.1-56, November 2009
	Iliano Cervesato , Andre Scedrov, Relating state-based and process-based concurrency through linear logic (full-version), Information and Computation, v.207 n.10, p.1044-1077, October, 2009

Collaborative Colleagues:

Rüdiger Valk: colleagues

Adobe Acrobat

QuickTime

Windows Media Player

Real Player