Algebraic Petri nets - PDFSEARCH.IO - Document Search Engine

Algebraic Petri nets
Results: 9

#	Item
1	Reliability of Technical Systems Advanced Methods for Systems Modelling and Simulation I : Petri Nets Petri Nets - Overview  Introduction Add to Reading List Source URL: www.lsa.ethz.ch Language: English - Date: 2010-11-25 08:50:54 Formal methods Petri nets Computer science Software engineering Algebraic Petri nets Event-driven Petri net Models of computation Concurrency Diagrams
2	The Petri Net Markup Language: Concepts, Technology, and Tools Jonathan Billington1 , Søren Christensen2 , Kees van Hee3 , Ekkart Kindler4 , Olaf Kummer5 , Laure Petrucci6 , Reinier Post3 , Christian Stehno7 , and Micha Add to Reading List Source URL: xml.coverpages.org Language: English - Date: 2003-11-21 16:04:37 Software engineering OSI protocols Concurrency Petri Net Markup Language ISO standards XML Unified Modeling Language YAWL Algebraic Petri nets Computing Petri nets Diagrams
3	High-level Petri Nets - Concepts, Definitions and Graphical Notation Final Draft International Standard ISO/IEC[removed]Version[removed]October 28, 2000 Contents Add to Reading List Source URL: www.petrinets.info Language: English - Date: 2002-09-14 01:55:30 Concurrency Formal methods Software engineering Computer science Algebraic Petri nets Petri State diagram Multiset Petri Net Markup Language Petri nets Models of computation Diagrams
4	High-level Petri Nets - Concepts, Definitions and Graphical Notation Final Draft International Standard ISO/IEC[removed]Version[removed]May 10, 2002 Contents Add to Reading List Source URL: www.petrinets.info Language: English - Date: 2003-01-10 02:18:16 Formal methods Concurrency Software engineering Computer science Algebraic Petri nets Petri State diagram Petri Net Markup Language TAPAAL Model Checker Petri nets Models of computation Diagrams
5	High-level Petri Nets - Concepts, Denitions and Graphical Notation Committee Draft ISO/IEC[removed]October 2, 1997 Version 3.4 Add to Reading List Source URL: www.petrinets.info Language: English - Date: 2002-02-04 07:00:31 Petri nets Diagrams Formal methods Theoretical computer science Multiset Petri Graph Reachability Algebraic Petri nets Models of computation Concurrency Mathematics
6	Summary and Disposition of Comments for FCD15909 Date: 17 May 2001 From: Editor of Project[removed] Add to Reading List Source URL: www.petrinets.info Language: English - Date: 2003-01-10 02:18:20 Models of computation Concurrency Diagrams Petri nets Algebraic Petri nets Multiset SQL ALGOL 68 Model theory Software engineering Computing Programming language theory
7	PIPE v2.5: a Petri Net Tool for Performance Modeling Pere Bonet, Catalina M. Llad´ o, Ramon Puigjaner Departament de Ci`encies Matem`atiques i Inform`atica Universitat de les Illes Balears 07071, Palma de Mallorca, Spai Add to Reading List Source URL: www.doc.ic.ac.uk Language: English - Date: 2007-08-04 17:03:23 Diagrams Formal methods Computing Computer science Algebraic Petri nets TAPAAL Model Checker Petri nets Models of computation Concurrency
8	Foundations of Software Technology and Theoretical Computer Science (Bangalore[removed]Editors: R. Hariharan, M. Mukund, V. Vinay; pp - The unfolding of general Petri nets∗ Jonathan Hayman and Glynn Winskel Computer Lab Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2008-11-13 05:59:01 Category theory Algebraic topology General topology Adjoint functors Pullback Petri net Sheaf Universal property Functor Topology Abstract algebra Mathematics
9 $A NEW DEFINITION OF MORPHISM ON PETRI NETS A Preliminary Version ~J\A\^^$	A NEW DEFINITION OF MORPHISM ON PETRI NETS A Preliminary Version ~J\A\^^ Add to Reading List Source URL: www.cl.cam.ac.uk Language: English - Date: 2008-11-14 11:49:52 Topology Concurrency Diagrams Petri net Algebraic topology Dual Adjoint functors Category Universal property Mathematics Category theory Abstract algebra