BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
petri net
Google petri net

Tag #petri net

326 papers:

CASECASE-2019-HuML #using
Active Diagnosis of Petri Nets Using Q-Diagnoser (YH, ZM, ZL), pp. 203–208.
CASECASE-2019-MaHL #reduction
Supervisory Control in Partially Observable Petri Nets with Sensor Reduction (ZM, ZH, ZL), pp. 189–194.
CASECASE-2019-StrengeSR #approach #modelling
Modeling and control of prosumer-based microgrids: a Petri net approach (LS, GS, JR), pp. 209–215.
ICSAICSA-2018-CortellessaET #architecture #bidirectional #co-evolution #model transformation #modelling #uml
Availability-Driven Architectural Change Propagation Through Bidirectional Model Transformations Between UML and Petri Net Models (VC, RE, MT0), pp. 125–134.
CASECASE-2018-FeiLCWH #energy #fuzzy #performance
Fuzzy Petri Net Based Intelligent Machine Operation of Energy Efficient Manufacturing System (ZF, SL, QC, JW, YH), pp. 1593–1598.
CASECASE-2018-OutafraoutAN #analysis #approach #hybrid #modelling #multi #performance
A colored hybrid Petri net-based modeling approach for performance analysis of a multi-modal transportation system (KO, EhCEA, ANSM), pp. 1568–1573.
CASECASE-2017-DuHZL #automation #robust #using
Robust control of automated manufacturing systems with complex structures using Petri Nets (ND, HH, YZ0, YL0), pp. 364–369.
CASECASE-2017-HouH0L #constraints #distributed
Decentralized supervisory control of Generalized Mutual Exclusion Constraints in Petri Nets (JH, HH, YZ0, YL0), pp. 358–363.
CASECASE-2017-WangHZL #approach #automation #robust
A robust control approach to automated manufacturing systems allowing failures and reworks with Petri nets (XW, HH, YZ0, YL0), pp. 370–375.
CASECASE-2017-YamazakiNS #abstraction #composition #first-order #hybrid #problem
A decomposition method with discrete abstraction for simultaneous traffic signal control and route selection problem with first-order hybrid Petri Nets (RY, TN, SS), pp. 352–357.
CASECASE-2016-AntunesCB #analysis #performance #probability
A stochastic Petri net model for simulation-based performance analysis of public bicycle sharing systems (IA, LKC, JCB), pp. 433–439.
CASECASE-2016-DuH #robust #using
Robust control of Backward Conflict Free Systems with Resources using Petri nets (ND, HH), pp. 1034–1041.
CASECASE-2016-GaddouriBD #hybrid #modelling #network
Controlled Triangular Batches Petri Nets for hybrid mesoscopic modeling of traffic road networks under VSL control (RG, LB, ID), pp. 427–432.
CASECASE-2016-HamanaAX #approach #information management #verification
A timed Petri net approach for verification of Territorial Healthcare Information Systems (SH, VA, XX), pp. 658–663.
CASECASE-2016-HuYLD #automation #identification #scalability
Critical stages and their identification in large scale automated manufacturing systems via Petri nets (HH, YY, YL0, ND), pp. 413–420.
CASECASE-2016-LinLZHZ #process #scheduling
Scheduling and control of batch chemical processes with timed Petri nets (WL, JL, JZ, YSH, MZ), pp. 421–426.
CASECASE-2016-RuanWL #re-engineering #sequence
Reconstruction of unknown Petri net structures from asynchronous observations of token change sequences (KR, WW, LL), pp. 1049–1054.
CASECASE-2016-YangH #distributed #using
Mono-T-semiflow systems with resources and their distributed control using Petri nets (YY, HH), pp. 1042–1048.
CASECASE-2016-YinLW #fault
Fault diagnosis in DESs modeled by partially observed Petri nets (LY, ZL, NW), pp. 966–971.
CEFPCEFP-2015-Korecko #design #functional #modelling
Functional Languages in Design of Coloured Petri Nets Models (SK), pp. 161–206.
FDGFDG-2015-ReuterGS #automation #detection #game studies #multi #using
Detecting structural deadlocks in Multiplayer Games using automatically generated Petri Nets (CR0, SG0, RS).
ICGTICGT-2015-Padberg #configuration management
Reconfigurable Petri Nets with Transition Priorities and Inhibitor Arcs (JP), pp. 104–120.
ICEISICEIS-v1-2015-Roos-FrantzBFSF #concept #integration #modelling #simulation #using
Using Petri Nets to Enable the Simulation of Application Integration Solutions Conceptual Models (FRF, MB, RZF, SS, VBF), pp. 87–96.
ICEISICEIS-v2-2015-Brant-RibeiroAM #approach #interactive #modelling #using #web
A User-centered Approach for Modeling Web Interactions Using Colored Petri Nets (TBR, RDA, IM, MSS, RGC), pp. 37–48.
ICEISICEIS-v2-2015-SarmientoALS #modelling
Mapping Textual Scenarios to Analyzable Petri-Net Models (ES, EA, JCSdPL, GS), pp. 494–501.
ICEISICEIS-v3-2015-ThabetGG #analysis #mining #process
Petri Net Model Cost Extension based on Process Mining — Cost Data Description and Analysis (DT, SAG, HHBG), pp. 268–275.
SEKESEKE-2015-DingZ #modelling #using
Modeling and Analyzing Publish Subscribe Architcture using Petri Nets (JD, DZ), pp. 589–594.
SEKESEKE-2015-LiuH #pipes and filters #verification
PIPE+Verifier — A Tool for Analyzing High Level Petri Nets (SL, XH), pp. 575–580.
SACSAC-2015-BourdilBDV #symmetry
Symmetry reduced state classes for time petri nets (PAB, BB, SDZ, FV), pp. 1751–1758.
CASECASE-2015-BasileCC #identification #modelling #realtime
Real time identification of Time Petri net faulty models (FB, PC, JC), pp. 280–285.
CASECASE-2015-ChengHL #automation #robust #synthesis #using
Robust supervisor synthesis for automated manufacturing systems using Petri nets (YC, HH, YL), pp. 1029–1035.
CASECASE-2015-ChenH #assembly #automation #distributed #using
Maximally permissive distributed control of automated manufacturing systems with assembly operations using Petri nets (CC, HH), pp. 532–538.
CASECASE-2015-KloetzerM #modelling #multi
Accomplish multi-robot tasks via Petri net models (MK, CM), pp. 304–309.
CASECASE-2015-LennartsonBW #hybrid #optimisation
Optimization of hybrid Petri nets with shared variables (BL, KB, OW), pp. 1395–1396.
CASECASE-2015-UeharaHK #modelling
Mesoscopic modeling of airport surface by object Petri nets (KU, KH, KK), pp. 298–303.
CASECASE-2015-YangH0 #assembly #automation #distributed
A Petri net-based distributed control of automated manufacturing systems with assembly operations (YY, HH, YL), pp. 1090–1097.
CASECASE-2015-ZhuQZ #clustering #modelling #multi #scheduling #tool support
Petri net modeling and one-wafer scheduling of single-arm tree-like multi-cluster tools (QZ, YQ, MZ), pp. 292–297.
LICSLICS-2015-BrunetP #automaton
Petri Automata for Kleene Allegories (PB, DP), pp. 68–79.
LICSLICS-2015-HeijltjesH #bound #complexity #logic #proving
Complexity Bounds for Sum-Product Logic via Additive Proof Nets and Petri Nets (WH, DJDH), pp. 80–91.
LATALATA-2014-BestD #bound #graph
Characterisation of the State Spaces of Live and Bounded Marked Graph Petri Nets (EB, RRD), pp. 161–172.
LATALATA-2014-Martos-SalgadoR #network
Expressiveness of Dynamic Networks of Timed Petri Nets (MMS, FRV), pp. 516–527.
GT-VMTGT-VMT-2014-StuckrathW #adaptation #modelling #user interface
Lattice-extended Coloured Petri Net Rewriting for Adaptable User Interface Models (JS, BW).
HCIHCI-TMT-2014-OrtegaLHBRA #formal method #modelling #multi #named #using
PeNTa: Formal Modeling for Multi-touch Systems Using Petri Net (FRO, SL, FH, AB, NR, MA), pp. 361–372.
ICEISICEIS-v2-2014-BarretoFSJ #formal method #using
A Straightforward Introduction to Formal Methods Using Coloured Petri Nets (FMB, JCJdF, MSS, SJ), pp. 145–152.
ICEISICEIS-v3-2014-ThabetGG #mining #process #towards
Towards Business Process Model Extension with Cost Perspective Based on Process Mining — Petri Net Model Case (DT, SAG, HHBG), pp. 335–342.
KEODKEOD-2014-FatyaniIP #ontology #simulation
Transformation of DEMO Model into Coloured Petri Net — Ontology based Simulation (TF, JI, JP), pp. 388–396.
SEKESEKE-2014-XuS #automation #effectiveness #testing
Effectiveness of Automated Function Testing with Petri Nets: A Series of Controlled Experiments (DX, NS), pp. 211–216.
SPLCSPLC-2014-MennickeLSW #automation #feature model #process #verification #workflow
Automated verification of feature model configuration processes based on workflow Petri nets (SM, ML, JS, TW), pp. 62–71.
CASECASE-2014-FantiMULV #health
A Petri net model of an integrated system for the Health Care At Home management (MPF, AMM, WU, JJL, KV), pp. 582–587.
CASECASE-2014-GaoLWA #monitoring #problem #sequence #using
A monitor solution to enforce legal transition firing sequences problems by using Petri nets (XG, ZL, AW, AMAA), pp. 419–424.
CASECASE-2014-HuCLY #approach #automation #comparative #using
A comparative approach to supervisor simplification in automated manufacturing systems using Petri nets (HH, CC, YL, YY), pp. 619–625.
CASECASE-2014-HuYLC #analysis #automation #modelling #multi
Simplifying supervisory controllers of automated manufacturing systems via Petri net modeling and multiset analysis (HH, YY, YL, CC), pp. 449–454.
CASECASE-2014-LiLT #probability #process #scheduling
A color petri net based scheduling model for remanufacturing system with stochastic process routing (LL, CL, YT), pp. 474–479.
CASECASE-2014-ZhuWQZ #analysis #clustering #constraints #modelling #multi #scheduling #tool support
Modeling and schedulability analysis of single-arm multi-cluster tools with residency time constraints via Petri nets (QZ, NW, YQ, MZ), pp. 81–86.
CAiSECAiSE-2013-FahlandG #design #enterprise #integration #middleware #using
Analyzing and Completing Middleware Designs for Enterprise Integration Using Coloured Petri Nets (DF, CG), pp. 400–416.
SEKESEKE-2013-BublitzSOLAP #adaptation #delivery #pervasive #specification
A Petri Net Model Specification for Delivering Adaptable Ads through Digital Signage in Pervasive Environments (FMB, LCS, EASO, SODL, HOdA, AP), pp. 405–410.
SEKESEKE-2013-DingXG #approach #specification
An Approach for Analyzing Software Specifications in Petri Nets (JD, DX, JG), pp. 411–416.
CASECASE-2013-0011ZD #robust #specification
Exploiting robustness in Petri net-based closed-loop systems to accommodate control specification changes (JL, MZ, XD), pp. 71–76.
CASECASE-2013-HuZL #automation #performance #synthesis #using
Supervisor synthesis and performance improvement for automated manufacturing systems by using Petri nets (HH, MZ, YL), pp. 1139–1144.
CASECASE-2013-HuZL13a #automation #distributed #scalability
Maximally permissive distributed control of large scale automated manufacturing systems modeled with Petri nets (HH, MZ, YL), pp. 1145–1150.
CASECASE-2013-IordacheWZA #design #performance #specification
Efficient design of Petri-net supervisors with disjunctive specifications (MVI, PW, FZ, PJA), pp. 936–941.
CASECASE-2013-PanHJ #concurrent #flexibility #policy #using
One computationally improved deadlock prevention policy for flexible manufacturing systems using Petri nets (YLP, HH, MJ), pp. 924–929.
CASECASE-2013-YueH13a #assembly #concurrent #policy #polynomial #process
A polynomial deadlock avoidance policy for a class of assembly processes based on Petri nets (HY, HH), pp. 1151–1156.
CASECASE-2013-ZhuWQZ #clustering #modelling #multi #scheduling #tool support
Petri net modeling and one-wafer scheduling of single-arm multi-cluster tools (QZ, NW, YQ, MZ), pp. 862–867.
LATALATA-2012-CiobanuP
Catalytic Petri Nets Are Turing Complete (GC, GMP), pp. 192–203.
GT-VMTGT-VMT-2012-GabrielLE #algebra #approach
Algebraic Approach to Timed Petri Nets (KG, PL, CE).
SEKESEKE-2012-CuiWLBZL #aspect-oriented #diagrams #process #verification
Verifying Aspect-Oriented Activity Diagrams Against Crosscutting Properties with Petri Net Analyzer (ZC, LW, XL, LB, JZ, XL), pp. 369–374.
SEKESEKE-2012-FitchX #fault tolerance
A Petri Net Model for Secure and Fault-Tolerant Cloud-Based Information Storage (DFF, HX), pp. 333–339.
SEKESEKE-2012-LuZZBA #decidability #invariant
Decidability of Minimal Supports of S-invariants and the Computation of their Supported S-invariants of Petri Nets (FL, QZ, HZ, YB, JA), pp. 340–345.
SEKESEKE-2012-RahmaniAS #modelling #performance #web #web service
Petri Net Modeling of Application Server Performance for Web Services (MR, AHA, HPS), pp. 305–310.
SEKESEKE-2012-WangL #analysis #approach #modelling #workflow
Resource Modeling and Analysis for Workflows: A Petri Net Approach (JW, DL), pp. 381–386.
ICSEICSE-2012-Camilli #analysis #in the cloud
Petri nets state space analysis in the cloud (MC), pp. 1638–1640.
SACSAC-2012-LiuCZ #approach #architecture #self #towards
Towards a colored reflective Petri-net approach to model self-evolving service-oriented architectures (YL, WC, BZ), pp. 1858–1865.
CASECASE-2012-HouLZ #on the
On iterative liveness-enforcement for a class of generalized Petri nets (YH, DL, MZ), pp. 188–193.
CASECASE-2012-MatsumotoN #approach #clustering #composition #concurrent #scheduling #tool support
Petri net decomposition approach to deadlock-free scheduling for dual-armed cluster tools (IM, TN), pp. 194–199.
CASECASE-2012-QiaoWZ #analysis #clustering #scheduling #tool support
Petri net-based scheduling analysis of dual-arm cluster tools with wafer revisiting (YQ, NW, MZ), pp. 206–211.
CASECASE-2012-WikborgL #multi #problem #scheduling
Scheduling of Petri nets as a multi-objective shortest path problem (UW, TEL), pp. 212–217.
FoSSaCSFoSSaCS-2012-GlabbeekGS #on the
On Distributability of Petri Nets — (RJvG, UG, JWSU), pp. 331–345.
TACASTACAS-2012-DavidJJJMS #development #ide
TAPAAL 2.0: Integrated Development Environment for Timed-Arc Petri Nets (AD, LJ, MJ, KYJ, MHM, JS), pp. 492–497.
LICSLICS-2012-HaddadSS #complexity #recursion
The Ordinal-Recursive Complexity of Timed-arc Petri Nets, Data Nets, and Other Enriched Nets (SH, SS, PS), pp. 355–364.
AFLAFL-2011-Kunimochi #algebra #morphism
Algebraic Properties of Petri Net Morphisms based on Place Connectivity (YK), pp. 270–284.
ICEISICEIS-v1-2011-ZhangYZ #modelling #research #workflow
Research on Workflow Modeling based on Coloured Petri Net (LZ, JY, YZ), pp. 423–426.
SEKESEKE-2011-LiuL #analysis #parallel #pointer #thread
Multithreaded Pointer Analysis Based on Petri Net (FL, BL), pp. 127–130.
SEKESEKE-2011-LiuZH #modelling #pipes and filters
PIPE+ — A Modeling Tool for High Level Petri Nets (SL, RZ, XH), pp. 115–121.
SEKESEKE-2011-SunHGZWY #detection #novel #using
A Novel Method for Formally Detecting RFID Event Using Petri Nets (JS, YH, XG, SZ, LW, CYY), pp. 122–125.
QAPLQAPL-2011-AmanC
Time Delays in Membrane Systems and Petri Nets (BA, GC), pp. 47–60.
SACSAC-2011-RangasamyS #effectiveness #modelling #parallel #performance #source code #thread
Petri net based performance modeling for effective DVFS for multithreaded programs (AR, YNS), pp. 647–648.
CASECASE-2011-Aguayo-LaraRR #invariant
Invariant subspaces and sensor placement for observability in Continuous Timed Petri Nets (EAL, ART, JJRL), pp. 607–612.
CASECASE-2011-BallariniDDHP #composition #flexibility #modelling #verification
Petri nets compositional modeling and verification of Flexible Manufacturing Systems (PB, HD, MD, SH, NP), pp. 588–593.
CASECASE-2011-Bonhomme #realtime #scheduling
A symbolic schedulability technique of real-time systems modeled by P-Time Petri nets (PB), pp. 582–587.
CASECASE-2011-CabasinoGSSZ #fault #using
Fault diagnosis of an ABS system using Petri nets (MPC, AG, CS, AS, KZ), pp. 594–599.
CASECASE-2011-CordoneP #monitoring #optimisation
Monitor optimization in Petri net control (RC, LP), pp. 413–418.
CASECASE-2011-DotoliFI #first-order #hybrid
A freeway traffic control model by first order hybrid Petri nets (MD, MPF, GI), pp. 425–431.
CASECASE-2011-GhomriA #hybrid #using
Continuous flow systems and control methodology using Hybrid Petri nets (LG, HA), pp. 419–424.
CASECASE-2011-WangZW
Extracting all minimal siphons from maximal unmarked siphons in manufacturing-oriented Petri nets (SW, MZ, CW), pp. 399–404.
TACASTACAS-2011-WimmelW #equation
Applying CEGAR to the Petri Net State Equation (HW, KW), pp. 224–238.
LICSLICS-2011-AbdullaM
Computing Optimal Coverability Costs in Priced Timed Petri Nets (PAA, RM), pp. 399–408.
TPDLECDL-2010-ParkKF #authoring #component #framework #library
Component-Based Authoring of Complex, Petri net-based Digital Library Infrastructure (YP, UK, RF), pp. 22–29.
ICALPICALP-v2-2010-HabermehlMW
The Downward-Closure of Petri Net Languages (PH, RM, HW), pp. 466–477.
LATALATA-2010-VelardoD #comparison #order
Language-Based Comparison of Petri Nets with Black Tokens, Pure Names and Ordered Data (FRV, GD), pp. 524–535.
GT-VMTGT-VMT-2010-HermannCEK #analysis #equivalence #graph #performance #permutation
Efficient Analysis of Permutation Equivalence of Graph Derivations Based on Petri Nets (FH, AC, HE, BK).
ICGTICGT-2010-Modica #analysis #communication #formal method #modelling #platform
Formal Modeling and Analysis of Communication Platforms Like Skype Based on Petri Net Transformation Systems (TM), pp. 400–402.
SEKESEKE-2010-WangHW #analysis #process
A Hierarchical Timed Coloured Petri Nets for BPMN-based Process Analysis (CHW, PSH, FJW), pp. 417–420.
ECMFAECMFA-2010-KessentiniBSB #diagrams #heuristic #sequence chart #using
Example-Based Sequence Diagrams to Colored Petri Nets Transformation Using Heuristic Search (MK, AB, HAS, MB), pp. 156–172.
CASECASE-2010-CabasinoGS #fault #using
Diagnosis using labeled Petri nets: Faults may either be silent or undistinguishable events (MPC, AG, CS), pp. 485–490.
CASECASE-2010-WuZ #bound #clustering #process #scheduling #tool support
Petri net-based scheduling of time-constrained dual-arm cluster tools with bounded activity time variation (NW, MZ), pp. 465–470.
TACASTACAS-2010-BuchsHMR #algebra #named
AlPiNA: An Algebraic Petri Net Analyzer (DB, SH, AM, MR), pp. 349–352.
CIAACIAA-J-2008-Yen09 #composition
Path Decomposition and Semilinearity of Petri Nets (HCY), pp. 581–596.
DLTDLT-2009-Zetzsche #matrix
Erasing in Petri Net Languages and Matrix Grammars (GZ), pp. 490–501.
LATALATA-2009-AbdullaDB #comparison
A Language-Based Comparison of Extensions of Petri Nets with and without Whole-Place Operations (PAA, GD, LVB), pp. 71–82.
LATALATA-2009-DassowT
Grammars Controlled by Special Petri Nets (JD, ST), pp. 326–337.
FMFM-2009-Eshuis
Translating Safe Petri Nets to Statecharts in a Structure-Preserving Way (RE), pp. 239–255.
IFMIFM-2009-Rakow #reduction
Decompositional Petri Net Reductions (AR), pp. 352–366.
DiGRADiGRA-2009-Araujo #game studies #modelling
Modeling Games with Petri Nets (MA).
ICEISICEIS-ISAS-2009-ZhangR #platform #process
A Petri Net Model of Process Platform-based Production Configuration (LLZ, BR), pp. 5–12.
MODELSMoDELS-2009-LaraG #qvt
Formal Support for QVT-Relations with Coloured Petri Nets (JdL, EG), pp. 256–270.
MODELSMoDELS-2009-WimmerKSKRS #debugging #modelling #qvt #using
Reviving QVT Relations: Model-Based Debugging Using Colored Petri Nets (MW, AK, JS, GK, WR, WS), pp. 727–732.
MODELSMoDELS-2009-LaraG #qvt
Formal Support for QVT-Relations with Coloured Petri Nets (JdL, EG), pp. 256–270.
MODELSMoDELS-2009-WimmerKSKRS #debugging #modelling #qvt #using
Reviving QVT Relations: Model-Based Debugging Using Colored Petri Nets (MW, AK, JS, GK, WR, WS), pp. 727–732.
AdaEuropeAdaEurope-2009-ChoppyBC #recognition
Coloured Petri Nets for Chronicle Recognition (CC, OB, PC), pp. 266–281.
ASEASE-2009-WimmerKSKRS #debugging #qvt
A Petri Net Based Debugging Environment for QVT Relations (MW, GK, JS, AK, WR, WS), pp. 3–14.
SACSAC-2009-AndradeMCNA #constraints #diagrams #embedded #energy #realtime #sequence chart #uml #validation
Mapping UML sequence diagram to time petri net for requirement validation of embedded real-time systems with energy constraints (ECdA, PRMM, GRdAC, BCeSN, CA), pp. 377–381.
CASECASE-2009-BasileCG
A control oriented model of generalized warehouses based on Colored Timed Petri Nets (FB, PC, DDG), pp. 48–53.
CASECASE-2009-DotoliFMSU #analysis
The impact of ICT on an Intermodal Transportation System: an analysis by Petri Nets (MD, MPF, AMM, GS, WU), pp. 513–518.
CASECASE-2009-DotoliFMU #fault #framework #online
On-line fault diagnosis in a Petri Net framework (MD, MPF, AMM, WU), pp. 42–47.
CASECASE-2009-LeeB #architecture #composition #nondeterminism
A modular petri net based architecture to model manufacturing systems exhibiting resource and timing uncertainties (HL, AB), pp. 525–530.
CASECASE-2009-VazquezS #markov #modelling #performance
Performance control of Markovian Petri nets via fluid models: A stock-level control example (CRV, MS), pp. 30–36.
FoSSaCSFoSSaCS-2009-AbdullaM #low cost #reachability
Minimal Cost Reachability/Coverability in Priced Timed Petri Nets (PAA, RM), pp. 348–363.
TACASTACAS-2009-LimeRST #model checking #named #parametricity
Romeo: A Parametric Model-Checker for Petri Nets with Stopwatches (DL, OHR, CS, LMT), pp. 54–57.
TACASTACAS-2009-NaumovichBG #bound #named #performance
ITPN-PerfBound: A Performance Bound Tool for Interval Time Petri Nets (EPN, SB, MG), pp. 50–53.
FATESTestCom-FATES-2009-BochmannJ #testing
Testing k-Safe Petri Nets (GvB, GVJ), pp. 33–48.
CIAACIAA-2008-Yen #concurrent
Concurrency, Synchronization, and Conflicts in Petri Nets (HCY), pp. 33–35.
LATALATA-2008-DassowT
k-Petri Net Controlled Grammars (JD, ST), pp. 209–220.
SFMSFM-2008-HeinerGD #biology
Petri Nets for Systems and Synthetic Biology (MH, DRG, RD), pp. 215–264.
AIIDEAIIDE-2008-BalasBAG
Hierarchical Petri Nets for Story Plots Featuring Virtual Humans (DB, CB, AA, JG).
ICGTICGT-2008-BaldanCEK #composition #nondeterminism #process
Open Petri Nets: Non-deterministic Processes and Compositionality (PB, AC, HE, BK), pp. 257–273.
CAiSECAiSE-2008-SofferKW #modelling #ontology #process #semantics
Assigning Ontology-Based Semantics to Process Models: The Case of Petri Nets (PS, MK, YW), pp. 16–31.
EDOCEDOC-2008-AmeedeenB #approach #diagrams #modelling #sequence chart
A Model Driven Approach to Represent Sequence Diagrams as Free Choice Petri Nets (MAA, BB), pp. 213–221.
ICEISICEIS-ISAS2-2008-ZhangRSG #approach #product line
Production Configuration of Product Families — An Approach based on Petri Nets (LZ, BR, JS, GJCG), pp. 5–11.
SEKESEKE-2008-Chavarria-BaezL #approach #confluence #termination
Analyzing Termination and Confluence in Active Rule Base via a Petri Net Approach (LCB, XL), pp. 363–366.
SEKESEKE-2008-Mikolajczak #case study #collaboration #object-oriented #specification
Formal Specification of Object-oriented Systems with Collaborative Objects and Petri Nets — a Case Study (BM), pp. 267–272.
ECMFAECMDA-FA-2008-BenderCCFBV #metamodelling #validation
Ladder Metamodeling and PLC Program Validation through Time Petri Nets (DFB, BC, XC, JMF, BB, FV), pp. 121–136.
AdaEuropeAdaEurope-2008-CarnevaliGV #formal method
A Tailored V-Model Exploiting the Theory of Preemptive Time Petri Nets (LC, LG, EV), pp. 87–100.
AdaEuropeAdaEurope-2008-ChoppyPR #approach #modelling
A Modelling Approach with Coloured Petri Nets (CC, LP, GR), pp. 73–86.
CASECASE-2008-DotoliFM #automation #fault #first-order #hybrid #monitoring
Fault monitoring of automated manufacturing systems by first order hybrid Petri nets (MD, MPF, AMM), pp. 181–186.
CASECASE-2008-NishiTI #approach #automation #composition #optimisation
Petri Net decomposition approach for the simultaneous optimization of task assignment and routing with automated guided vehicles (TN, YT, MI), pp. 175–180.
CASECASE-2008-RussoMCK #automation #modelling
Petri net modeling and automated system control of protein crystallization experimentation in drug discovery (MFR, SM, MHC, HK), pp. 906–911.
CASECASE-2008-Tang #adaptation #modelling
Unified Colored Timed Petri net models for the adaptive control of disassembly systems (YT), pp. 638–643.
CASECASE-2008-WuZPCC #clustering #constraints #modelling #process #realtime #tool support
Petri net modeling and real-time control of dual-arm cluster tools with residency time constraint and activity time variations (NW, MZ, SP, FC, CC), pp. 109–114.
DATEDATE-2008-WeinbergerBB #design #modelling #process #verification #workflow
Application of Workflow Petri Nets to Modeling of Formal Verification Processes in Design Flow of Digital Integrated Circuits (KW, SB, RB), pp. 937–938.
SFMSFM-2007-Balbo #probability
Introduction to Generalized Stochastic Petri Nets (GB), pp. 83–131.
HCIDHM-2007-WertherMR #analysis #process #simulation
Colored Petri Net Based Formal Airport Control Model for Simulation and Analysis of Airport Control Processes (BW, CM, MR), pp. 1027–1036.
ICEISICEIS-EIS-2007-AoumeurSB #architecture #component #information management #interactive #weaving
Dynamic Interaction of Information Systems — Weaving Architectural Connectors on Component Petri Nets (NA, GS, KB), pp. 152–158.
ICEISICEIS-SAIC-2007-BoukadiGMB #specification #using #verification #web #web service
Specification and Verification of Views over Composite Web Services Using High Level Petri-Nets (KB, CG, ZM, DB), pp. 107–112.
SACSAC-2007-HuangW #semantics #web #web service
A petri net semantics for web service choreography (YH, HW), pp. 1689–1690.
SACSAC-2007-OliveiraAS #component #formal method #model checking #modelling #using #verification
Formal modelling and verification of a component model using coloured petri nets and model checking (EASO, HOdA, LDdS), pp. 1427–1431.
CASECASE-2007-BasileGS #distributed #monitoring
Decentralized Supervisory Control of Petri Nets with Monitor Places (FB, AG, CS), pp. 7–13.
CASECASE-2007-CabasinoGMRSS #estimation
State Estimation of Petri Nets by Transformation (MPC, AG, CM, LR, CS, MS), pp. 194–199.
CASECASE-2007-DotoliFM #identification #monitoring #on the #specification
On Line Identification of Discrete Event Systems via Petri Nets: an Application to Monitor Specification (MD, MPF, AMM), pp. 893–898.
CASECASE-2007-Gonzalez-CastoloL #approximate #fuzzy #using
Approximating State of DES Using Fuzzy Timed Petri Nets (JCGC, ELM), pp. 722–728.
CASECASE-2007-HajiD #configuration management #project management
Petri Net based Supervisory Control Reconfiguration of Project Management Systems (MH, HD), pp. 460–465.
CASECASE-2007-HongC #approach #automation #resource management
Resource Allocation for a Life Science Automation Line: a Petri nets Approach (TH, MYC), pp. 887–892.
CASECASE-2007-MoralesGM #effectiveness #fault #network
Diagnosis and Treatment of Faults in Productive Systems based on Bayesian Networks and Petri Net (RAGM, JIG, PEM), pp. 357–362.
CASECASE-2007-Ruiz-BeltranRLA #modelling
A Structural Characterization of Diagnosable Petri Net Models (ERB, ART, ELM, JAL), pp. 1137–1142.
CASECASE-2007-VanijjirattikhanKCS #biology #modelling #process #simulation
Timed Petri Net Modeling and Simulation of a High-Throughput Biological Screening Process (RV, DK, MYC, NS), pp. 442–447.
CASECASE-2007-ZhaoLZ #on the
On Supervisory Control of a Class of Discrete Event Systems Modeled by Petri Nets (MZ, ZL, MZ), pp. 1–6.
TACASTACAS-2007-DAprileDSS #approach #automaton
From Time Petri Nets to Timed Automata: An Untimed Approach (DD, SD, AS, JS), pp. 216–230.
ICALPICALP-v2-2006-BouyerHR #automaton #power of #sequence
Timed Petri Nets and Timed Automata: On the Discriminating Power of Zeno Sequences (PB, SH, PAR), pp. 420–431.
ICGTICGT-2006-VarroVEPT #analysis #model transformation #termination
Termination Analysis of Model Transformations by Petri Nets (DV, SVG, HE, UP, GT), pp. 260–274.
EDOCEDOC-2006-DongYZ #composition #testing #using #web #web service
Testing BPEL-based Web Service Composition Using High-level Petri Nets (WLD, HY, YBZ), pp. 441–444.
ICEISICEIS-AIDSS-2006-ProchazkaKK #fuzzy #information management #process #using
Various Process Wizard for Information Systems — Using Fuzzy Petri Nets for Process Definition (JP, JK, CK), pp. 235–242.
ICEISICEIS-ISAS-2006-BokhariP #information management #using #validation
Validation of Information Systems Using Petri Nets (AB, WFSP), pp. 284–289.
ICEISICEIS-SAIC-2006-KohlerMO #approach #composition
Dynamic Service Composition: A Petri-Net Based Approach (MK, DM, JO), pp. 159–165.
SEKESEKE-2006-BokhariP #analysis #modelling #uml
Translation of UML Models to Object Coloured Petri Nets with a view to Analysis (AB, WFSP), pp. 568–571.
CASECASE-2006-GuoLX #modelling #on the #using
On Modeling a Soccer Robot System Using Petri Nets (BG, ZL, SX), pp. 460–465.
CASECASE-2006-LiuWL #algorithm #performance #set
A fast algorithm to find a set of elementary siphons for a class of petri nets (XL, AW, ZL), pp. 399–404.
CASECASE-2006-NishiM #composition #optimisation #problem
Decomposition of Petri Nets for Optimization of Routing Problem for AGVs in Semiconductor Fabrication Bays (TN, RM), pp. 236–241.
CASECASE-2006-RecaldeMS #analysis #simulation
Improving analysis and simulation of continuous Petri Nets (LR, CM, MS), pp. 9–14.
CASECASE-2006-WuZ #clustering #constraints #scheduling #tool support
Schedulability and Scheduling of Dual-Arm Cluster Tools with Residency Time Constraints Based on Petri Net (NW, MZ), pp. 87–92.
DATEDATE-2006-KarlssonEP #design #representation #using #verification
Formal verification of systemc designs using a petri-net based representation (DK, PE, ZP), pp. 1228–1233.
PDPPDP-2006-GarciaHL #communication #protocol #using #validation
Validation of a Protocol for Communication Management in CSCW Systems Using a Coloured-Petri Net Modelization (ÉG, JH, JCL), pp. 272–275.
FoSSaCSFoSSaCS-2006-BaldanHK #distributed
Distributed Unfolding of Petri Nets (PB, SH, BK), pp. 126–141.
ICALPICALP-2005-BadouelCG #algebra
Petri Algebras (EB, JC, GG), pp. 742–754.
SEFMSEFM-2005-KuehnLE
A Proposal For Relative Time Petri Nets (JK, CL, RE), pp. 240–249.
SEFMSEFM-2005-SadaniSC #framework #platform #verification
From RT-LOTOS to Time Petri Nets New Foundations for a Verification Platform (TS, PdSS, JPC), pp. 250–260.
CAiSECAiSE-2005-DongenAV #reduction #using #verification
Verification of EPCs: Using Reduction Rules and Petri Nets (BFvD, WMPvdA, HMWV), pp. 372–386.
SACSAC-2005-TrentiniM #framework #java #realtime #validation
Plan validation via petri nets in the real-time performers Java framework (AT, DM), pp. 1534–1538.
CASECASE-2005-CastelnuovoFP #approach #incremental #modelling #sequence
An incremental Petri net approach to production sequence modeling (AC, LF, LP), pp. 333–338.
CASECASE-2005-FalkmanLT #algebra #process #specification #using
Specification of a batch plant using process algebra and Petri nets (PF, BL, MT), pp. 339–344.
CASECASE-2005-TsinarakisTV #hybrid #multi
Studying multi-assembly machine production systems with hybrid timed Petri nets (GJT, NT, KPV), pp. 327–332.
CAVCAV-2005-GardeyLMR #named
Romeo: A Tool for Analyzing Time Petri Nets (GG, DL, MM, OHR), pp. 418–423.
WICSAWICSA-2004-PettitG #architecture #behaviour #concurrent #modelling #using
Modeling Behavioral Patterns of Concurrent Software Architectures Using Petri Nets (RGPI, HG), pp. 57–68.
IFMIFM-2004-ThanhK #composition #modelling #object-oriented
Object-Oriented Modelling with High-Level Modular Petri Nets (CBT, HK), pp. 287–306.
SEFMSEFM-2004-Fronk #algebra #analysis #approach #automation #using
Using Relation Algebra for the Analysis of Petri Nets in a CASE Tool Based Approach (AF), pp. 396–405.
SFMSFM-2004-BihlerV #performance
Timed Petri Nets: Efficiency of Asynchronous Systems (EB, WV), pp. 25–58.
ICEISICEIS-v3-2004-Salimifard #component #modelling #using
Component-Based Modelling of Organisational Resources Using Coloured Petri Nets (KS), pp. 577–580.
SEKESEKE-2004-HuS #diagrams #simulation #uml
Mapping UML Diagrams to a Petri Net Notation for System Simulation (ZH, SMS), pp. 213–219.
PPDPPPDP-2004-FarwerL #model checking #prolog
Model checking object petri nets in prolog (BF, ML), pp. 20–31.
FASEFASE-2004-MoldtO #automation #named
DaGen: A Tool for Automatic Translation from DAML-S to High-Level Petri Nets (DM, JO), pp. 209–213.
CAVCAV-2004-SchroterK #model checking #parallel
Parallel LTL-X Model Checking of High-Level Petri Nets Based on Unfoldings (CS, VK), pp. 109–121.
ICEISICEIS-v1-2003-GhomariD #approach #multi #towards
Towards a Timed-Petri Net Based Approach for Multimedia Scenario Synchronization (AG, CD), pp. 267–272.
ICEISICEIS-v3-2003-YamaguchiWS #design #reliability #using
A High Reliability Design for Nfs Server Software By Using an Extended Petri Net (SY, KW, YS), pp. 498–502.
ICEISICEIS-v4-2003-LingL #approach #composition #interactive #multi #protocol
Engineering Multiagent Systems Based on Interaction Protocols: A Compositional Petri Net Approach (SL, SWL), pp. 42–48.
GPCEGPCE-2003-ZiaeiA #coordination #distributed #named
SynchNet: A Petri Net Based Coordination Language for Distributed Objects (RZ, GA), pp. 324–343.
TACASTACAS-2003-BerthomieuV #analysis #branch
State Class Constructions for Branching Analysis of Time Petri Nets (BB, FV), pp. 442–457.
TACASTACAS-2003-KhomenkoK #branch #process
Branching Processes of High-Level Petri Nets (VK, MK), pp. 458–472.
TACASTACAS-2003-Schmidt #invariant #using
Using Petri Net Invariants in State Space Construction (KS0), pp. 473–488.
TPDLECDL-2002-KaradkarNF #flexibility #library
Employing Smart Browsers to Support Flexible Information Presentation in Petri Net-Based Digital Libraries (UK, JCN, RF), pp. 324–337.
ITiCSEITiCSE-2002-Barros #concurrent #programming #using
Specific proposals for the use of petri nets in a concurrent programming course (JPB), pp. 165–167.
IFMIFM-2002-KorenblatGK
Translations between Textual Transition Systems and Petri Nets (KK, OG, SK), pp. 339–359.
ICGTICGT-2002-LaraV #modelling #multi #process
Computer Aided Multi-paradigm Modelling to Process Petri-Nets and Statecharts (JdL, HV), pp. 239–253.
ICEISICEIS-2002-SalimifardW #analysis #modelling #performance #using #workflow
Modelling and Performance Analysis of Workflow Management Systems Using Timed Hierarchical Coloured Petri Nets (KS, MW), pp. 843–846.
DACDAC-2002-MurugavelR #estimation #modelling
Petri net modeling of gate and interconnect delays for power estimation (AKM, NR), pp. 455–460.
FASEFASE-2002-LopezLG #approach #automation #case study #generative #workflow
Automatic Generation of Use Cases from Workflows: A Petri Net Based Approach (OL, MAL, FJGP), pp. 279–293.
TACASTACAS-2002-HeljankoKK #algorithm #parallel
Parallelisation of the Petri Net Unfolding Algorithm (KH, VK, MK), pp. 371–385.
CAVCAV-2002-KhomenkoKV #canonical
Canonical Prefixes of Petri Net Unfoldings (VK, MK, WV), pp. 582–595.
DocEngDocEng-2001-NaF #analysis #authoring #documentation #hypermedia #using
Dynamic documents: authoring, browsing, and analysis using a high-level petri net-based hypermedia system (JCN, RF), pp. 38–47.
ITiCSEITiCSE-2001-Barros #concurrent #programming
Use petri nets to improve your concurrent programming course (JPB), p. 192.
DLTDLT-2001-ItoK
Some Petri Net Languages and Codes (MI, YK), pp. 69–80.
GT-VMTGT-VMT-2001-VerlindenJ #modelling
Modeling Petri Nets by Local Action Systems (NV, DJ), pp. 275–281.
ICEISICEIS-v2-2001-BarjisC #approach #aspect-oriented #modelling #process
Integrating Organizational Semiotic Approach with the Temporal Aspects of Petri Nets for Business Process Modeling (JB, SC), pp. 745–752.
SEKESEKE-2001-LemosP #information management #interactive #modelling #using
Methodology for Modeling Interactions in Cooperative Information Systems Using Colored Petri Nets (AJPL, AP), pp. 299–306.
SEKESEKE-2001-RamosSC #modelling #reuse #using
Reuse of Colored Petri Nets Software Models (FR, JFS, FCS), pp. 145–152.
ASEASE-2001-GannodG #automation #using
An Automated Tool for Analyzing Petri Nets Using SPIN (GCG, SG), pp. 404–407.
DATEDATE-2001-VareaA #embedded #modelling #specification
Dual transitions petri net based modelling technique for embedded systems specification (MV, BMAH), pp. 566–571.
FoSSaCSFoSSaCS-2001-BuscemiS #calculus
High-Level Petri Nets as Type Theories in the Join Calculus (MGB, VS), pp. 104–120.
TACASTACAS-2001-Beaudouin-LafonMJAJLLMMRRCJ #editing #named #simulation #tool support
CPN/Tools: A Tool for Editing and Simulating Coloured Petri Nets ETAPS Tool Demonstration Related to TACAS (MBL, WEM, MJ, PA, PJ, HML, KL, KHM, SM, AVR, KR, SC, KJ), pp. 574–577.
TACASTACAS-2001-Carvajal-SchiaffinoDC #bound #validation
Combining Structural and Enumerative Techniques for the Validation of Bounded Petri Nets (RCS, GD, GC), pp. 435–449.
HTHT-2000-NaF #hypermedia
Context-aware hypermedia in a dynamically-changing environment, supported by a high-level Petri net (JCN, RF), pp. 222–223.
CSMRCSMR-2000-Keller #reverse engineering
Reverse Engineering with Petri Nets (WK), pp. 235–238.
IFMIFM-2000-KlaudelP #composition #concurrent #semantics
A Concurrent and Compositional Petri Net Semantics of Preemption (HK, FP), pp. 318–337.
ICEISICEIS-2000-Bosilj-VuksicGH #diagrams #modelling #process
IDEF Diagrams and Petri Nets for Business Process Modelling: Suitability, Efficacy, and Complementary Use (VBV, GMG, VH), pp. 242–247.
ICEISICEIS-2000-DietzB #modelling #process #requirements
Petri Net Expressions of Demo Process Models as a Rigid Foundation for Requirements Engineering (JLGD, JB), pp. 267–274.
PPDPPPDP-2000-LeuschelL #deduction #problem
Solving coverability problems of petri nets by partial deduction (ML, HL), pp. 268–279.
ASEASE-2000-El-FakihYBH #automation #distributed #specification
Automatic Derivation of Petri Net Based Distributed Specification with Optimal Allocation of Resources (KEF, HY, GvB, TH), pp. 305–308.
DACDAC-2000-QiuWP #power management #probability #using
Dynamic power management of complex systems using generalized stochastic Petri nets (QQ, QW, MP), pp. 352–356.
CAVCAV-2000-AbdullaIN #bound
Unfoldings of Unbounded Petri Nets (PAA, SPI, AN), pp. 495–507.
ICLPCL-2000-LeuschelL #deduction
Coverability of Reset Petri Nets and Other Well-Structured Transition Systems by Partial Deduction (ML, HL), pp. 101–115.
ICALPICALP-1999-BednarczykB #morphism
General Morphisms of Petri Nets (MAB, AMB), pp. 190–199.
FMFM-v2-1999-HorsteS #formal method #modelling #simulation #using
Formal Modelling and Simulation of Train Control Systems Using Petri Nets (MMzH, ES), p. 1867.
IFLIFL-1999-Reinke #haskell
Haskell-Coloured Petri Nets (CR), pp. 165–180.
HCIHCI-EI-1999-MoussaRMK #automation #generative #specification #user interface
A Petri Nets based Method for Specification and Automatic Generation of User Interface (FM, MR, MM, CK), pp. 988–992.
CAiSECAiSE-1999-AoumeurS #distributed #information management #specification #towards #validation
Towards an Object Petri Nets Model for Specifying and Validating Distributed Information Systems (NA, GS), pp. 381–395.
AdaEuropeAdaEurope-1999-GarciaV #ada
Translating Time Petri Net Structures into Ada 95 Statements (FJGI, JLV), pp. 158–169.
DACDAC-1999-SgroiL #embedded #synthesis #using
Synthesis of Embedded Software Using Free-Choice Petri Nets (MS, LL), pp. 805–810.
DATEDATE-1999-StrehlT #diagrams #model checking
Interval Diagram Techniques for Symbolic Model Checking of Petri Nets (KS, LT), pp. 756–757.
PDPPDP-1999-TsiatsoulisDCK #composition #design #specification
Associating composition of Petri net specifications with application designs in GRADE (ZT, GD, JYC, PK), pp. 204–211.
TACASTACAS-1999-Heljanko #concurrent #logic programming #problem #reachability #semantics #source code #using
Using Logic Programs with Stable Model Semantics to Solve Deadlock and Reachability Problems for 1-Safe Petri Nets (KH), pp. 240–254.
ICGTTAGT-1998-PadbergGH #development #incremental #safety
Incremental Development of Safety Properties in Petri Net Transformations (JP, MG, KH), pp. 410–425.
TOOLSTOOLS-ASIA-1998-CheungCC #interactive
Deriving Scenarios Of Object Interaction Through Petri Net (KSC, KOC, TYC), p. 104–?.
ICSEICSE-1998-MascarenhasKBK #analysis #artificial reality #modelling
Modeling and Analysis of a Virtual Reality System with Time Petri Nets (RM, DK, UAB, RVK), pp. 33–42.
DATEDATE-1998-PastorC #analysis #encoding #performance
Efficient Encoding Schemes for Symbolic Analysis of Petri Nets (EP, JC), pp. 790–795.
TACASTACAS-1998-Grahlmann #automaton #finite #parallel #source code #using
Combining Finite Automata, Parallel Programs and SDL Using Petri Nets (BG), pp. 102–117.
DLTDLT-1997-TipleaM
Jumping Petri Nets — Specific Properties (FLT, EM), pp. 461–476.
ICALPICALP-1997-Vogler #performance
Efficiency of Asynchronous Systems and Read Arcs in Petri Nets (WV), pp. 538–548.
ICSEICSE-1997-KusumotoMKHTS #probability
A New Software Project Simulator Based on Generalized Stochastic Petri-net (SK, OM, TK, YH, YT, KS), pp. 293–302.
PDPPDP-1997-Sergent #algorithm #distributed #latency #using
Evaluating latency of distributed algorithms using petri nets (NS), pp. 437–444.
TACASTACAS-1997-ChristensenJK #design #named
Design/CPN — A Computer Tool for Coloured Petri Nets (SC, JBJ, LMK), pp. 209–223.
TACASTACAS-1997-Jensen
A Brief Introduction to Coloured Petri Nets (KJ), pp. 203–208.
ICALPICALP-1996-JancarE #bisimulation
Deciding Finiteness of Petri Nets Up To Bisimulation (PJ, JE), pp. 478–489.
FMFME-1996-ShiN #specification
An Improved Translation of SA/RT Specification Model to High-Level Timed Petri Nets (LS, PN), pp. 518–537.
IFLIFL-1996-Assmann #coordination #functional #process #using
Coordinating Functional Processes Using Petri Nets (CA), pp. 162–183.
SEKESEKE-1996-CostaPF #design #multi
A Multi-Agent Based Environment to Aid in the Design of Petri Nets Based Software Systems (EdBC, AP, JCAdF), pp. 253–260.
LOPSTRLOPSTR-1996-FribourgO #logic programming #reduction #source code
Reductions of Petri Nets and Unfolding of Propositional Logic Programs (LF, HO), pp. 187–203.
DACDAC-1996-SemenovY #using #verification
Verification of asynchronous circuits using Time Petri Net unfolding (ALS, AY), pp. 59–62.
TACASTACAS-1996-BerghammerKU #algebra #analysis #perspective
Realtion-Algebraic Analysis of Petri Nets with RELVIEW (RB, BvK, CU), pp. 49–69.
TACASTACAS-1996-GrahlmannB #named
PEP — More than a Petri Net Tool (BG, EB), pp. 397–401.
ISSTAISSTA-1996-ChamillardC #analysis #concurrent #source code
Improving the Accuracy of Petri Net-Based Analysis of Concurrent Programs (ATC, LAC), pp. 24–38.
ICSMEICSM-1995-AvrilionisC #maintenance #modelling #process #using
Using views to maintain Petri-net-based process models (DA, PYC), pp. 318–326.
DLTDLT-1995-TipleaE #normalisation
Hierarchies of Petri Net Languages and a Super-Normal Form (FLT, CE), pp. 396–405.
SEKESEKE-1995-Gattiker #functional #probability #representation
Representing Structural and Functional Knowledge with Stochastic Petri Nets (JRG), pp. 47–53.
SEKESEKE-1995-He #formal method
PZ Nets- A Formal Method Integrating Petri Nets with Z (XH), pp. 173–180.
ICSEICSE-1995-DwyerCN #concurrent #representation #source code
A Compact Petri Net Representation for Concurrent Programs (MBD, LAC, KAN), pp. 147–157.
TAPSOFTTAPSOFT-1995-Jancar #similarity
High Undecidability of Weak Bisimilarity for Petri Nets (PJ), pp. 349–363.
TAPSOFTTAPSOFT-1995-Sassone #on the
On the Category of Petri Net Computations (VS), pp. 334–348.
CAVCAV-1995-HulgaardB #analysis #performance
Efficient Timing Analysis of a Class of Petri Nets (HH, SMB), pp. 423–436.
ICGTTAGT-1994-KorffR #graph grammar
Formal Relationship between Graph Grammars and Petri Nets (MK, LR), pp. 288–303.
SEKESEKE-1994-FigueiredoPC #analysis #fuzzy #realtime #using
Timing analysis of real-time software systems using fuzzy time Petri nets (JCAdF, AP, SKC), pp. 257–266.
SEKESEKE-1994-Kramer #modelling #process
Rule-enhanced Petri nets for software process modeling (BJK), pp. 493–500.
SACSAC-1994-ChenB #analysis #concurrent #database #detection #performance #transaction
A Petri net model for the performance analysis of transaction database systems with continuous deadlock detection (IRC, RB), pp. 539–544.
DACDAC-1994-JongL #communication #concurrent #design
A Communicating Petri Net Model for the Design of Concurrent Asynchronous Modules (GGdJ, BL), pp. 49–55.
PDPPDP-1994-BucciMV #communication #migration #process
Supporting Process Migration Through Communicating Petri Nets (GB, RM, EV), pp. 486–492.
ISSTAISSTA-1994-BuyS #analysis #realtime #source code
Analysis of Real-Time Programs with Simple Time Petri Nets (UAB, RHS), pp. 228–239.
ICALPICALP-1993-BrownG #category theory #logic
Temporal Logic and Categories of Petri Nets (CB, DG), pp. 570–581.
CAiSECAiSE-1993-PalanqueBDS #design #interface #using
Design of User-Driven Interfaces Using Petri Nets and Objects (PAP, RB, LD, CSB), pp. 569–585.
CSLCSL-1993-Hishfeld #equivalence #problem
Petri Nets and the Equivalence Problem (YH), pp. 165–174.
ICALPICALP-1992-BrownG #category theory
Timing Petri Nets Categorically (CB, DG), pp. 571–582.
ICALPICALP-1992-HoogersKT #semantics
A Trace Semantics for Petri Nets (PWH, HCMK, PST), pp. 595–604.
ICALPICALP-1992-Vogler #communication #refinement
Asynchronous Communication of Petri Nets and the Refinement of Transitions (WV), pp. 605–616.
SEKESEKE-1992-ShimuraLM #logic programming #semantics #source code
A Petri Net Semantics for Logic Programs with Negation (TS, JL, TM), pp. 292–299.
SEKESEKE-1992-TuS #approach #linear #programming #static analysis
Linear Programming Supporting Ada-Tasking Static Analysis: A Petri Net Approach (ST, WS), pp. 222–226.
FMVDME-1991-HeeSV
Z and High Level Petri Nets (KMvH, LJS, MV), pp. 204–219.
AdaEuropeAdaEurope-1991-ChengU #ada #using
Analyzing Ada Tasking Deadlocks and Livelocks Using Extended Petri Nets (JC, KU), pp. 125–146.
PLDIPLDI-1991-GaoWN #scheduling
A Timed Petri-Net Model for Fine-Grain Loop Scheduling (GRG, YBW, QN), pp. 204–218.
RERE-1991-FranzenS #german
Die Methode der Strukturierten Analyse mit Petri-Netzen (SA/PN) als Echtzeiterweiterung (HF, GS), pp. 178–190.
CAVCAV-1991-BarbeauB #approach #fault #using #verification
The Lotos Model of a Fault Protected System and its Verification Using a Petri Net Based Approach (MB, GvB), pp. 103–113.
CSLCSL-1991-BestE #model checking #persistent
Model Checking of Persistent Petri Nets (EB, JE), pp. 35–52.
SEKESEKE-1990-JeffreyM #set
A High-Level Petri Net for a Subset of FGHC (JJ, TM), pp. 260–266.
SEKESEKE-1990-KehL #design #hypermedia #named
HelpDez: Colored-Petri-Net-Based Hypermedia Help System Designer (HCK, TGL), pp. 245–250.
ICSEICSE-1990-OswaldEM #specification
An Environment for Specifying and Executing Hierarchical Petri Nets (HO, RE, RM), pp. 164–172.
CAVCAV-1990-BerthelotJP #analysis #named
PAPETRI: Environment for the Analysis of Petri Nets (GB, CJ, LP), pp. 13–22.
CAVCAV-1990-LloretAV #communication #composition #design #protocol #using #verification
Compositional Design and Verification of Communication Protocols, Using Labelled Petri Nets (JCL, PA, FV), pp. 96–105.
LICSLICS-1990-BrownG #category theory #framework #linear
A Categorical Linear Framework for Petri Nets (CB, DG), pp. 208–218.
SEKESEKE-1989-HeL #logic #specification
Deriving Temporal Logic Specifications from Predicate Transition Petri Net (XH, JANL), pp. 116–121.
SEKESEKE-1989-MurataY #realtime #rule-based
Petri Net Method for Real-Time Control of Rule-Based Systems (TM, JY), pp. 122–127.
TAPSOFTCAAP-1989-BloomS #equation #parallel
Shuffle Equations, Parallel Transition Systems and Equational Petri Nets (SLB, KS), pp. 134–148.
TAPSOFTCCIPL-1989-AntonB #process #protocol #specification #verification
Formulas, Processes, and Petri-Nets Applied to the Specification and Verification of a HDLC Protocol (MDA, MB), pp. 140–154.
DACDAC-1988-Razouk #modelling #pipes and filters
The Use of Petri Nets for Modeling Pipelined Processors (RRR), pp. 548–553.
LICSLICS-1988-MeseguerM #algebra #monad
Petri Nets Are Monoids: A New Algebraic Foundation for Net Theory (JM, UM), pp. 155–164.
LICSLICS-1988-Winskel #composition #proving
A Category of Labelled Petri Nets and Compositional Proof System (GW), pp. 142–154.
ICSEICSE-1987-Kramer #data type #distributed #named #specification
SEGRAS — A Formal and Semigraphical Language Combining Petri Nets and Abstract Data Types for the Specification of Distributed Systems (BJK), pp. 116–125.
OOPSLAOOPSLA-1986-BrunoB #distributed #modelling #object-oriented
Petri Net-Based Object-Oriented Modeling of Distributed Systems (GB, AB), pp. 284–293.
RTARTA-1985-ChoppyJ #named #proving #term rewriting
PETRIREVE: Proving Petri Net Properties with Rewriting Systems (CC, CJ), pp. 271–286.
ICSEICSE-1985-BrunoM #agile #prototype #using
Rapid Prototyping of Control Systems Using High Level Petri Nets (GB, GM), pp. 230–237.
TAPSOFTCSE-1985-LevesonS #fault tolerance #safety #using
Analyzing Safety and Fault Tolerance Using Time Petri Nets (NGL, JLS), pp. 339–355.
ICALPICALP-1984-GoltzM #on the
On the Relationship of CCS and Petri Nets (UG, AM), pp. 196–208.
ICSEICSE-1984-AzemaJSM #distributed #prolog #specification #using #verification
Specification and Verification of Distributed Systems Using PROLOG Interpreded Petri Nets (PA, GJ, ES, MM), pp. 510–519.
RERE-1983-Reisig #design #using
System Design Using Petri Nets (WR), pp. 29–41.
DACDAC-1983-Vida-TorkuH #generative #heuristic #testing
Petri Net based search directing heuristics for test generation (EKVT, BMH), pp. 323–330.
ICGTGG-1982-GenrichJRT #graph grammar
Petri nets and their relation to graph grammars (HJG, DJ, GR, PST), pp. 115–129.
STOCSTOC-1981-Mayr #algorithm #problem #reachability
An Algorithm for the General Petri Net Reachability Problem (EWM), pp. 238–246.
ICALPICALP-1978-Valk #self
Self-Modifying Nets, a Natural Extension of Petri Nets (RV), pp. 464–476.
DACDAC-1976-AzemaVD #design #hardware #simulation #verification
Petri nets as a common tool for design verification and hardware simulation (PA, RV, MD), pp. 109–116.
STOCSTOC-1976-CardozaLM #commutative #exponential #problem
Exponential Space Complete Problems for Petri Nets and Commutative Semigroups: Preliminary Report (EC, RJL, ARM), pp. 50–54.
POPLPOPL-1975-LauerC
A Description of Path Expressions by Petri Nets (PEL, RHC), pp. 95–105.
SOSPSOSP-1973-Kosaraju
Limitations of Dijkstra’s Semaphore Primitives and Petri Nets (SRK), pp. 122–136.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.