Search results for "PNML"

Hits ?▲	Authors	Title	Venue	Year	Link	Author keywords
105	Jonathan Billington, Søren Christensen, Kees M. van Hee, Ekkart Kindler, Olaf Kummer, Laure Petrucci, Reinier Post, Christian Stehno, Michael Weber 0003	The Petri Net Markup Language: Concepts, Technology, and Tools.	ICATPN	2003	DBLP DOI BibTeX RDF
84	Hélio Lopes dos Santos, Paulo Romero Martins Maciel, Nelson S. Rosa, Roberto Souto Maior de Barros	Managing Petri Nets in MOF Repositories.	OTM Conferences (2)	2005	DBLP DOI BibTeX RDF
84	Adilson Arcoverde, Gabriel Alves, Ricardo Massa Ferreira Lima	Petri nets tools integration through Eclipse.	eTX	2005	DBLP DOI BibTeX RDF
84	Michael Weber 0003, Ekkart Kindler	The Petri Net Markup Language.	Petri Net Technology for Communication-Based Systems	2003	DBLP DOI BibTeX RDF
63	Ekkart Kindler, Laure Petrucci	Towards a Standard for Modular Petri Nets: A Formalisation.	Petri Nets	2009	DBLP DOI BibTeX RDF	Modular Petri Nets, Standardisation, High-Level Nets
63	Lom Hillah, Fabrice Kordon, Laure Petrucci-Dauchy, Nicolas Trèves	PN Standardisation: A Survey.	FORTE	2006	DBLP DOI BibTeX RDF
53	Jan Mendling, Cristian Pérez de Laborda, Uwe Zdun	Towards an Integrated BPM Schema: Control Flow Heterogeneity of PNML and BPEL4WS.	Wissensmanagement (LNCS Volume)	2005	DBLP DOI BibTeX RDF
42	Hyunsoo Lee, Bikram Sharda, Amarnath Banerjee	Representation and simulation of stochastic petrinet models using xPNML.	WSC	2007	DBLP DOI BibTeX RDF
42	Yu-Liang Chi, Ming-Hung Tsai, Chih-Wei Lee	A Petri-Net based Validator in Reliability of a Composite Service.	EEE	2005	DBLP DOI BibTeX RDF
36	H. M. W. Verbeek, Alexander Hirnschall, Wil M. P. van der Aalst	XRL/Flower: Supporting Inter-organizational Workflows Using XML/Petri-Net Technology.	WES	2002	DBLP DOI BibTeX RDF	WF-net, XRL, PNML, XML, Workflow, enactment, Inter-organizational
32	Nirupma Pathak, Bandan Kumar Bhoi, Neeraj Kumar Misra, Santosh Kumar	Content Addressable Memory Design in 3D pNML for Energy-Aware Sustainable Computing.	J. Circuits Syst. Comput.	2022	DBLP DOI BibTeX RDF
32	Silvano Dal-Zilio	MCC: a Tool for Unfolding Colored Petri Nets in PNML Format.	CoRR	2020	DBLP BibTeX RDF
32	Silvano Dal-Zilio	MCC: A Tool for Unfolding Colored Petri Nets in PNML Format.	Petri Nets	2020	DBLP DOI BibTeX RDF
32	Koby Bibas, Yaniv Fogel, Meir Feder	Deep pNML: Predictive Normalized Maximum Likelihood for Deep Neural Networks.	CoRR	2019	DBLP BibTeX RDF
32	Cangzhou Yuan, Hangyu He, Panpan Zhan, Tao Chen	A Framework for Analysis of Non-functional Properties of AADL Model Based on PNML.	CSPS	2019	DBLP DOI BibTeX RDF
32	Robert Perricone, Yining Zhu, Katherine M. Sanders, Xiaobo Sharon Hu, Michael T. Niemier	Towards systematic design of 3D pNML layouts.	DATE	2015	DBLP BibTeX RDF
32	Reggie Davidrajuh	Adding PNML Capability to GPenSIM.	EMS	2013	DBLP DOI BibTeX RDF
32	Lom-Messan Hillah, Fabrice Kordon, Charles Lakos, Laure Petrucci	Extending pnml Scope: A Framework to Combine Petri Nets Types.	Trans. Petri Nets Other Model. Concurr.	2012	DBLP DOI BibTeX RDF
32	Ekkart Kindler	The ePNK: An Extensible Petri Net Tool for PNML.	Petri Nets	2011	DBLP DOI BibTeX RDF
32	Lom-Messan Hillah, Fabrice Kordon, Charles Lakos, Laure Petrucci	Extending PNML Scope: the Prioritised Petri Nets Experience.	PNSE	2011	DBLP BibTeX RDF
32	Lom-Messan Hillah, Fabrice Kordon, Laure Petrucci, Nicolas Trèves	PNML Framework: An Extendable Reference Implementation of the Petri Net Markup Language.	Petri Nets	2010	DBLP DOI BibTeX RDF
32	Thomas Theling, Kamyar Sarshar, Peter Loos, Mirko Jerrentrup	PNML-notierte Objektpetrinetze zur Integration von Prozess- und Organisationsmodellen.	Berliner XML Tage	2005	DBLP BibTeX RDF
32	Gabriel Alves, Adilson Arcoverde, Ricardo Massa Ferreira Lima, Paulo Romero Martins Maciel	EZPetri: A Petri net interchange framework for Eclipse based on PNML.	ISoLA (Preliminary proceedings)	2004	DBLP BibTeX RDF
21	João Lourenço, Luís Gomes 0001	Animated Graphical User Interface Generator Framework for Input-Output Place-Transition Petri Net Models.	Petri Nets	2008	DBLP DOI BibTeX RDF
21	Fabiano Cruz, Raimundo S. Barreto, Lucas C. Cordeiro	Towards a model-driven engineering approach for developing embedded hard real-time software.	SAC	2008	DBLP DOI BibTeX RDF	DSL engineering, embedded hard real-time systems, tool-based approaches, petri nets, model-driven engineering, software synthesis
21	Reggie Davidrajuh	Developing a New Petri Net Tool for Simulation of Discrete Event Systems.	Asia International Conference on Modelling and Simulation	2008	DBLP DOI BibTeX RDF	GPenSIM, XML, modeling and simulation, discrete event system
21	Franco Cicirelli, Angelo Furfaro, Libero Nigro	Distributed simulation of modular time Petri nets: An approach and a case study exploiting temporal uncertainty.	Real Time Syst.	2007	DBLP DOI BibTeX RDF	Temporal uncertainty, Time interval based event delivery, Modelling complex real-time systems, Modularity constructs, Petri Net Markup Language, Distributed simulation, Time Petri nets, Time warp, Temporal analysis, Logical clocks
21	Lu Songfeng, Sun Chengfu, Ma Xinjian	Using E-Connection and Description Logic for Formalizing and Analyzing High-Level Petri Net.	SYNASC	2007	DBLP DOI BibTeX RDF
21	Eduardo Tavares, Raimundo S. Barreto, Paulo Romero Martins Maciel, Meuse N. Oliveira Jr., Adilson Arcoverde, Gabriel Alves, Ricardo Massa Ferreira Lima, Leonardo Barros, Arthur Bessa	An Integrated Environment for Embedded Hard Real-Time Systems Scheduling with Timing and Energy Constraints.	PATMOS	2005	DBLP DOI BibTeX RDF