J. Billington, et al.  Home/Search
Context Related
| lsv.enscachan.fr/Publ...PNMLATPN03.ps Cached: PS.gz PS PDF This document uses CoBlitz to cache paper downloads. If your firewall is blocking outgoing connections to port 3125, you can use these links to download local copies.
Image Update HelpPS.gz PS PDF From: lsv.enscachan....blisy3all.php (more) (Enter author homepages) |
Rate this article:      (best)Comment on this article |
Abstract: The Petri Net Markup Language (PNML) is an XML-based interchange format for Petri nets. In order to support different versions of Petri nets and, in particular, future versions of Petri nets, PNML allows the definition of Petri net types. Due to this flexibility, PNML is a starting point for a standard interchange format for Petri nets. This paper discusses the design principles, the basic concepts, and the underlying XML technology of PNML. The main purpose of this paper is to disseminate the... (Update)
Cited by: More
Multiagent Systems with Workflows - Vidal, Buhler, Stahl (2004) (Correct)
Active bibliography (related documents): More All
0.9: Towards Petri Net WWW Community: Starting Points - Gasevic, Devedzic (2003) (Correct)
0.7: A Universal Module Concept for Petri Nets - an.. - Kindler, Weber (2001) (Correct)
0.5: Coloured Petri Nets - A Tool in Software Engineering - Mailund (2000) (Correct)
Similar documents based on text: More All
0.8: XML-based Approach towards an Interchange Format for Petri Nets.. - Weber (2000) (Correct)
0.7: Towards a Generic Interchange Format for Petri Nets -.. - Jüngel, Kindler, Weber (2000) (Correct)
0.7: Towards Formal Specification and Analysis of Avionics Mission.. - Petrucci, al. (2002) (Correct)
BibTeX entry: (Update)
J. Billington, et al., "The Petri Net Markup Language: Concepts, Technology, and Tools," Proc. Int'l Conf. Applications and Theory of Petri Nets 2003, W. van der Aalst and E. Best eds., LNCS, vol. 2679, Springer, 2003, pp. 483--505. http://citeseer.ist.psu.edu/billington03petri.html More
@misc{ billington-petri,
author = "J. Billington et al.",
title = "The Petri Net Markup Language: Concepts, Technology, and Tools",
url = "citeseer.ist.psu.edu/billington03petri.html" }
Citations (may not include all citations):140 XSL Transformations (context) - Clark - 1999
63 URL httpwww (context) - URL, daimi et al. - 2001
63 URL httpwww (context) - URL, daimi et al. - 2001
56 URL httpwww (context) - Reference, URL et al. - 2002
56 URL httpwww (context) - Net, http et al. - 2001
21 Scalable Vector Graphics (context) - Ferraiolo, Jun et al. - 2003
10 The Petri Net Markup Language - Jungel, Kindler et al. - 2000
10 RELAX NG specification (context) - Clark, Murata - 2001
9 Abstract Petri net notation (context) - Bause, Kemper et al. - 1995
8 level 2 -- CSS2 Specification (context) - Bos, Lie et al. - 1998
8 TREX -- tree regular expressions for XML (context) - Clark - 2001
4 Textual interchange format for high-level Petri nets (context) - Lyngs, Mailund - 1998
3 Separation of style and content with XML in an interchange f.. - Mailund, Mortensen
3 Meeting XMLSGML based Interchange Format Petri Net - Kindler, Mortensen et al. - 2000
3 URL httpwww (context) - Markup, http et al. - 2001
3 A universal module concept for Petri nets (context) - Kindler, Weber - 2001
2 VeriTech: Translating among specifications and verification .. (context) - Katz, Grumberg - 1999
2 A syntax for the description of Petri nets (context) - Berthelot, Vautherin et al. - 1988
1 URL httpxmlsoft (context) - library, URL et al. - 2003
1 a Petri net standard (context) - IEC, SC et al. - 1995
1 URL httpwwwbrauer (context) - Checking, http et al. - 2003
1 New proposal for a standard on Petri net techniques (context) - IEC, SC - 2002
1 Modelling and validation with VipTool (context) - Desel, Juhas et al. - 2003
1 URL httpwww (context) - McQueen, XML et al. - 2000
1 Computing Science Department (context) - Koelmans, definition - 1995
1 Petri Net Markup Language: Implementation and Application (context) - Stehno - 2002
1 Software Engineering - High-Level Petri Nets - Concepts (context) - IEC, SC - 2002
1 The Petri Net Kernel - Weber, Kindler - 2002
1 URL httpparsy (context) - Tool, parsys et al. - 2002
1 A textual syntax for describing Petri nets (context) - Wheeler - 1993
Documents on the same site (http://www.lsv.ens-cachan.fr/Publis/publis-y3-all.php): More
Randomized Finite-State Distributed Algorithms As Markov Chains - Duflot, al. (2001) (Correct)
Verification of Embedded Reactive Fiffo Systems - Herbreteau, Cassez, Finkel, al. (2002) (Correct)
A Kleene/Büchi-like Theorem for Clock Languages - Bouyer, Petit (2001) (Correct)
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC