BibSLEIGH — petri net tag

petri net

petri net

Tag #petri net

326 papers:

CASE-2019-HuML #using: Active Diagnosis of Petri Nets Using Q-Diagnoser (YH, ZM, ZL), pp. 203–208.
CASE-2019-MaHL #reduction: Supervisory Control in Partially Observable Petri Nets with Sensor Reduction (ZM, ZH, ZL), pp. 189–194.
CASE-2019-StrengeSR #approach #modelling: Modeling and control of prosumer-based microgrids: a Petri net approach (LS, GS, JR), pp. 209–215.
ICSA-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.
CASE-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.
CASE-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.
CASE-2017-DuHZL #automation #robust #using: Robust control of automated manufacturing systems with complex structures using Petri Nets (ND, HH, YZ0, YL0), pp. 364–369.
CASE-2017-HouH0L #constraints #distributed: Decentralized supervisory control of Generalized Mutual Exclusion Constraints in Petri Nets (JH, HH, YZ0, YL0), pp. 358–363.
CASE-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.
CASE-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.
CASE-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.
CASE-2016-DuH #robust #using: Robust control of Backward Conflict Free Systems with Resources using Petri nets (ND, HH), pp. 1034–1041.
CASE-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.
CASE-2016-HamanaAX #approach #information management #verification: A timed Petri net approach for verification of Territorial Healthcare Information Systems (SH, VA, XX), pp. 658–663.
CASE-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.
CASE-2016-LinLZHZ #process #scheduling: Scheduling and control of batch chemical processes with timed Petri nets (WL, JL, JZ, YSH, MZ), pp. 421–426.
CASE-2016-RuanWL #re-engineering #sequence: Reconstruction of unknown Petri net structures from asynchronous observations of token change sequences (KR, WW, LL), pp. 1049–1054.
CASE-2016-YangH #distributed #using: Mono-T-semiflow systems with resources and their distributed control using Petri nets (YY, HH), pp. 1042–1048.
CASE-2016-YinLW #fault: Fault diagnosis in DESs modeled by partially observed Petri nets (LY, ZL, NW), pp. 966–971.
CEFP-2015-Korecko #design #functional #modelling: Functional Languages in Design of Coloured Petri Nets Models (SK), pp. 161–206.
FDG-2015-ReuterGS #automation #detection #game studies #multi #using: Detecting structural deadlocks in Multiplayer Games using automatically generated Petri Nets (CR0, SG0, RS).
ICGT-2015-Padberg #configuration management: Reconfigurable Petri Nets with Transition Priorities and Inhibitor Arcs (JP), pp. 104–120.
ICEIS-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.
ICEIS-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.
ICEIS-v2-2015-SarmientoALS #modelling: Mapping Textual Scenarios to Analyzable Petri-Net Models (ES, EA, JCSdPL, GS), pp. 494–501.
ICEIS-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.
SEKE-2015-DingZ #modelling #using: Modeling and Analyzing Publish Subscribe Architcture using Petri Nets (JD, DZ), pp. 589–594.
SEKE-2015-LiuH #pipes and filters #verification: PIPE+Verifier — A Tool for Analyzing High Level Petri Nets (SL, XH), pp. 575–580.
SAC-2015-BourdilBDV #symmetry: Symmetry reduced state classes for time petri nets (PAB, BB, SDZ, FV), pp. 1751–1758.
CASE-2015-BasileCC #identification #modelling #realtime: Real time identification of Time Petri net faulty models (FB, PC, JC), pp. 280–285.
CASE-2015-ChengHL #automation #robust #synthesis #using: Robust supervisor synthesis for automated manufacturing systems using Petri nets (YC, HH, YL), pp. 1029–1035.
CASE-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.
CASE-2015-KloetzerM #modelling #multi: Accomplish multi-robot tasks via Petri net models (MK, CM), pp. 304–309.
CASE-2015-LennartsonBW #hybrid #optimisation: Optimization of hybrid Petri nets with shared variables (BL, KB, OW), pp. 1395–1396.
CASE-2015-UeharaHK #modelling: Mesoscopic modeling of airport surface by object Petri nets (KU, KH, KK), pp. 298–303.
CASE-2015-YangH0 #assembly #automation #distributed: A Petri net-based distributed control of automated manufacturing systems with assembly operations (YY, HH, YL), pp. 1090–1097.
CASE-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.
LICS-2015-BrunetP #automaton: Petri Automata for Kleene Allegories (PB, DP), pp. 68–79.
LICS-2015-HeijltjesH #bound #complexity #logic #proving: Complexity Bounds for Sum-Product Logic via Additive Proof Nets and Petri Nets (WH, DJDH), pp. 80–91.
LATA-2014-BestD #bound #graph: Characterisation of the State Spaces of Live and Bounded Marked Graph Petri Nets (EB, RRD), pp. 161–172.
LATA-2014-Martos-SalgadoR #network: Expressiveness of Dynamic Networks of Timed Petri Nets (MMS, FRV), pp. 516–527.
GT-VMT-2014-StuckrathW #adaptation #modelling #user interface: Lattice-extended Coloured Petri Net Rewriting for Adaptable User Interface Models (JS, BW).
HCI-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.
ICEIS-v2-2014-BarretoFSJ #formal method #using: A Straightforward Introduction to Formal Methods Using Coloured Petri Nets (FMB, JCJdF, MSS, SJ), pp. 145–152.
ICEIS-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.
KEOD-2014-FatyaniIP #ontology #simulation: Transformation of DEMO Model into Coloured Petri Net — Ontology based Simulation (TF, JI, JP), pp. 388–396.
SEKE-2014-XuS #automation #effectiveness #testing: Effectiveness of Automated Function Testing with Petri Nets: A Series of Controlled Experiments (DX, NS), pp. 211–216.
SPLC-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.
CASE-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.
CASE-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.
CASE-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.
CASE-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.
CASE-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.
CASE-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.
CAiSE-2013-FahlandG #design #enterprise #integration #middleware #using: Analyzing and Completing Middleware Designs for Enterprise Integration Using Coloured Petri Nets (DF, CG), pp. 400–416.
SEKE-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.
SEKE-2013-DingXG #approach #specification: An Approach for Analyzing Software Specifications in Petri Nets (JD, DX, JG), pp. 411–416.
CASE-2013-0011ZD #robust #specification: Exploiting robustness in Petri net-based closed-loop systems to accommodate control specification changes (JL, MZ, XD), pp. 71–76.
CASE-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.
CASE-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.
CASE-2013-IordacheWZA #design #performance #specification: Efficient design of Petri-net supervisors with disjunctive specifications (MVI, PW, FZ, PJA), pp. 936–941.
CASE-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.
CASE-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.
CASE-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.
LATA-2012-CiobanuP: Catalytic Petri Nets Are Turing Complete (GC, GMP), pp. 192–203.
GT-VMT-2012-GabrielLE #algebra #approach: Algebraic Approach to Timed Petri Nets (KG, PL, CE).
SEKE-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.
SEKE-2012-FitchX #fault tolerance: A Petri Net Model for Secure and Fault-Tolerant Cloud-Based Information Storage (DFF, HX), pp. 333–339.
SEKE-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.
SEKE-2012-RahmaniAS #modelling #performance #web #web service: Petri Net Modeling of Application Server Performance for Web Services (MR, AHA, HPS), pp. 305–310.
SEKE-2012-WangL #analysis #approach #modelling #workflow: Resource Modeling and Analysis for Workflows: A Petri Net Approach (JW, DL), pp. 381–386.
ICSE-2012-Camilli #analysis #in the cloud: Petri nets state space analysis in the cloud (MC), pp. 1638–1640.
SAC-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.
CASE-2012-HouLZ #on the: On iterative liveness-enforcement for a class of generalized Petri nets (YH, DL, MZ), pp. 188–193.
CASE-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.
CASE-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.
CASE-2012-WikborgL #multi #problem #scheduling: Scheduling of Petri nets as a multi-objective shortest path problem (UW, TEL), pp. 212–217.
FoSSaCS-2012-GlabbeekGS #on the: On Distributability of Petri Nets — (RJvG, UG, JWSU), pp. 331–345.
TACAS-2012-DavidJJJMS #development #ide: TAPAAL 2.0: Integrated Development Environment for Timed-Arc Petri Nets (AD, LJ, MJ, KYJ, MHM, JS), pp. 492–497.
LICS-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.
AFL-2011-Kunimochi #algebra #morphism: Algebraic Properties of Petri Net Morphisms based on Place Connectivity (YK), pp. 270–284.
ICEIS-v1-2011-ZhangYZ #modelling #research #workflow: Research on Workflow Modeling based on Coloured Petri Net (LZ, JY, YZ), pp. 423–426.
SEKE-2011-LiuL #analysis #parallel #pointer #thread: Multithreaded Pointer Analysis Based on Petri Net (FL, BL), pp. 127–130.
SEKE-2011-LiuZH #modelling #pipes and filters: PIPE+ — A Modeling Tool for High Level Petri Nets (SL, RZ, XH), pp. 115–121.
SEKE-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.
QAPL-2011-AmanC: Time Delays in Membrane Systems and Petri Nets (BA, GC), pp. 47–60.
SAC-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.
CASE-2011-Aguayo-LaraRR #invariant: Invariant subspaces and sensor placement for observability in Continuous Timed Petri Nets (EAL, ART, JJRL), pp. 607–612.
CASE-2011-BallariniDDHP #composition #flexibility #modelling #verification: Petri nets compositional modeling and verification of Flexible Manufacturing Systems (PB, HD, MD, SH, NP), pp. 588–593.
CASE-2011-Bonhomme #realtime #scheduling: A symbolic schedulability technique of real-time systems modeled by P-Time Petri nets (PB), pp. 582–587.
CASE-2011-CabasinoGSSZ #fault #using: Fault diagnosis of an ABS system using Petri nets (MPC, AG, CS, AS, KZ), pp. 594–599.
CASE-2011-CordoneP #monitoring #optimisation: Monitor optimization in Petri net control (RC, LP), pp. 413–418.
CASE-2011-DotoliFI #first-order #hybrid: A freeway traffic control model by first order hybrid Petri nets (MD, MPF, GI), pp. 425–431.
CASE-2011-GhomriA #hybrid #using: Continuous flow systems and control methodology using Hybrid Petri nets (LG, HA), pp. 419–424.
CASE-2011-WangZW: Extracting all minimal siphons from maximal unmarked siphons in manufacturing-oriented Petri nets (SW, MZ, CW), pp. 399–404.
TACAS-2011-WimmelW #equation: Applying CEGAR to the Petri Net State Equation (HW, KW), pp. 224–238.
LICS-2011-AbdullaM: Computing Optimal Coverability Costs in Priced Timed Petri Nets (PAA, RM), pp. 399–408.
ECDL-2010-ParkKF #authoring #component #framework #library: Component-Based Authoring of Complex, Petri net-based Digital Library Infrastructure (YP, UK, RF), pp. 22–29.
ICALP-v2-2010-HabermehlMW: The Downward-Closure of Petri Net Languages (PH, RM, HW), pp. 466–477.
LATA-2010-VelardoD #comparison #order: Language-Based Comparison of Petri Nets with Black Tokens, Pure Names and Ordered Data (FRV, GD), pp. 524–535.
GT-VMT-2010-HermannCEK #analysis #equivalence #graph #performance #permutation: Efficient Analysis of Permutation Equivalence of Graph Derivations Based on Petri Nets (FH, AC, HE, BK).
ICGT-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.
SEKE-2010-WangHW #analysis #process: A Hierarchical Timed Coloured Petri Nets for BPMN-based Process Analysis (CHW, PSH, FJW), pp. 417–420.
ECMFA-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.
CASE-2010-CabasinoGS #fault #using: Diagnosis using labeled Petri nets: Faults may either be silent or undistinguishable events (MPC, AG, CS), pp. 485–490.
CASE-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.
TACAS-2010-BuchsHMR #algebra #named: AlPiNA: An Algebraic Petri Net Analyzer (DB, SH, AM, MR), pp. 349–352.
CIAA-J-2008-Yen09 #composition: Path Decomposition and Semilinearity of Petri Nets (HCY), pp. 581–596.
DLT-2009-Zetzsche #matrix: Erasing in Petri Net Languages and Matrix Grammars (GZ), pp. 490–501.
LATA-2009-AbdullaDB #comparison: A Language-Based Comparison of Extensions of Petri Nets with and without Whole-Place Operations (PAA, GD, LVB), pp. 71–82.
LATA-2009-DassowT: Grammars Controlled by Special Petri Nets (JD, ST), pp. 326–337.
FM-2009-Eshuis: Translating Safe Petri Nets to Statecharts in a Structure-Preserving Way (RE), pp. 239–255.
IFM-2009-Rakow #reduction: Decompositional Petri Net Reductions (AR), pp. 352–366.
DiGRA-2009-Araujo #game studies #modelling: Modeling Games with Petri Nets (MA).
ICEIS-ISAS-2009-ZhangR #platform #process: A Petri Net Model of Process Platform-based Production Configuration (LLZ, BR), pp. 5–12.
MoDELS-2009-LaraG #qvt: Formal Support for QVT-Relations with Coloured Petri Nets (JdL, EG), pp. 256–270.
MoDELS-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.
MoDELS-2009-LaraG #qvt: Formal Support for QVT-Relations with Coloured Petri Nets (JdL, EG), pp. 256–270.
MoDELS-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.
AdaEurope-2009-ChoppyBC #recognition: Coloured Petri Nets for Chronicle Recognition (CC, OB, PC), pp. 266–281.
ASE-2009-WimmerKSKRS #debugging #qvt: A Petri Net Based Debugging Environment for QVT Relations (MW, GK, JS, AK, WR, WS), pp. 3–14.
SAC-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.
CASE-2009-BasileCG: A control oriented model of generalized warehouses based on Colored Timed Petri Nets (FB, PC, DDG), pp. 48–53.
CASE-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.
CASE-2009-DotoliFMU #fault #framework #online: On-line fault diagnosis in a Petri Net framework (MD, MPF, AMM, WU), pp. 42–47.
CASE-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.
CASE-2009-VazquezS #markov #modelling #performance: Performance control of Markovian Petri nets via fluid models: A stock-level control example (CRV, MS), pp. 30–36.
FoSSaCS-2009-AbdullaM #low cost #reachability: Minimal Cost Reachability/Coverability in Priced Timed Petri Nets (PAA, RM), pp. 348–363.
TACAS-2009-LimeRST #model checking #named #parametricity: Romeo: A Parametric Model-Checker for Petri Nets with Stopwatches (DL, OHR, CS, LMT), pp. 54–57.
TACAS-2009-NaumovichBG #bound #named #performance: ITPN-PerfBound: A Performance Bound Tool for Interval Time Petri Nets (EPN, SB, MG), pp. 50–53.
TestCom-FATES-2009-BochmannJ #testing: Testing k-Safe Petri Nets (GvB, GVJ), pp. 33–48.
CIAA-2008-Yen #concurrent: Concurrency, Synchronization, and Conflicts in Petri Nets (HCY), pp. 33–35.
LATA-2008-DassowT: k-Petri Net Controlled Grammars (JD, ST), pp. 209–220.
SFM-2008-HeinerGD #biology: Petri Nets for Systems and Synthetic Biology (MH, DRG, RD), pp. 215–264.
AIIDE-2008-BalasBAG: Hierarchical Petri Nets for Story Plots Featuring Virtual Humans (DB, CB, AA, JG).
ICGT-2008-BaldanCEK #composition #nondeterminism #process: Open Petri Nets: Non-deterministic Processes and Compositionality (PB, AC, HE, BK), pp. 257–273.
CAiSE-2008-SofferKW #modelling #ontology #process #semantics: Assigning Ontology-Based Semantics to Process Models: The Case of Petri Nets (PS, MK, YW), pp. 16–31.
EDOC-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.
ICEIS-ISAS2-2008-ZhangRSG #approach #product line: Production Configuration of Product Families — An Approach based on Petri Nets (LZ, BR, JS, GJCG), pp. 5–11.
SEKE-2008-Chavarria-BaezL #approach #confluence #termination: Analyzing Termination and Confluence in Active Rule Base via a Petri Net Approach (LCB, XL), pp. 363–366.
SEKE-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.
ECMDA-FA-2008-BenderCCFBV #metamodelling #validation: Ladder Metamodeling and PLC Program Validation through Time Petri Nets (DFB, BC, XC, JMF, BB, FV), pp. 121–136.
AdaEurope-2008-CarnevaliGV #formal method: A Tailored V-Model Exploiting the Theory of Preemptive Time Petri Nets (LC, LG, EV), pp. 87–100.
AdaEurope-2008-ChoppyPR #approach #modelling: A Modelling Approach with Coloured Petri Nets (CC, LP, GR), pp. 73–86.
CASE-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.
CASE-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.
CASE-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.
CASE-2008-Tang #adaptation #modelling: Unified Colored Timed Petri net models for the adaptive control of disassembly systems (YT), pp. 638–643.
CASE-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.
DATE-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.
SFM-2007-Balbo #probability: Introduction to Generalized Stochastic Petri Nets (GB), pp. 83–131.
DHM-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.
ICEIS-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.
ICEIS-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.
SAC-2007-HuangW #semantics #web #web service: A petri net semantics for web service choreography (YH, HW), pp. 1689–1690.
SAC-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.
CASE-2007-BasileGS #distributed #monitoring: Decentralized Supervisory Control of Petri Nets with Monitor Places (FB, AG, CS), pp. 7–13.
CASE-2007-CabasinoGMRSS #estimation: State Estimation of Petri Nets by Transformation (MPC, AG, CM, LR, CS, MS), pp. 194–199.
CASE-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.
CASE-2007-Gonzalez-CastoloL #approximate #fuzzy #using: Approximating State of DES Using Fuzzy Timed Petri Nets (JCGC, ELM), pp. 722–728.
CASE-2007-HajiD #configuration management #project management: Petri Net based Supervisory Control Reconfiguration of Project Management Systems (MH, HD), pp. 460–465.
CASE-2007-HongC #approach #automation #resource management: Resource Allocation for a Life Science Automation Line: a Petri nets Approach (TH, MYC), pp. 887–892.
CASE-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.
CASE-2007-Ruiz-BeltranRLA #modelling: A Structural Characterization of Diagnosable Petri Net Models (ERB, ART, ELM, JAL), pp. 1137–1142.
CASE-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.
CASE-2007-ZhaoLZ #on the: On Supervisory Control of a Class of Discrete Event Systems Modeled by Petri Nets (MZ, ZL, MZ), pp. 1–6.
TACAS-2007-DAprileDSS #approach #automaton: From Time Petri Nets to Timed Automata: An Untimed Approach (DD, SD, AS, JS), pp. 216–230.
ICALP-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.
ICGT-2006-VarroVEPT #analysis #model transformation #termination: Termination Analysis of Model Transformations by Petri Nets (DV, SVG, HE, UP, GT), pp. 260–274.
EDOC-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.
ICEIS-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.
ICEIS-ISAS-2006-BokhariP #information management #using #validation: Validation of Information Systems Using Petri Nets (AB, WFSP), pp. 284–289.
ICEIS-SAIC-2006-KohlerMO #approach #composition: Dynamic Service Composition: A Petri-Net Based Approach (MK, DM, JO), pp. 159–165.
SEKE-2006-BokhariP #analysis #modelling #uml: Translation of UML Models to Object Coloured Petri Nets with a view to Analysis (AB, WFSP), pp. 568–571.
CASE-2006-GuoLX #modelling #on the #using: On Modeling a Soccer Robot System Using Petri Nets (BG, ZL, SX), pp. 460–465.
CASE-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.
CASE-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.
CASE-2006-RecaldeMS #analysis #simulation: Improving analysis and simulation of continuous Petri Nets (LR, CM, MS), pp. 9–14.
CASE-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.
DATE-2006-KarlssonEP #design #representation #using #verification: Formal verification of systemc designs using a petri-net based representation (DK, PE, ZP), pp. 1228–1233.
PDP-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.
FoSSaCS-2006-BaldanHK #distributed: Distributed Unfolding of Petri Nets (PB, SH, BK), pp. 126–141.
ICALP-2005-BadouelCG #algebra: Petri Algebras (EB, JC, GG), pp. 742–754.
SEFM-2005-KuehnLE: A Proposal For Relative Time Petri Nets (JK, CL, RE), pp. 240–249.
SEFM-2005-SadaniSC #framework #platform #verification: From RT-LOTOS to Time Petri Nets New Foundations for a Verification Platform (TS, PdSS, JPC), pp. 250–260.
CAiSE-2005-DongenAV #reduction #using #verification: Verification of EPCs: Using Reduction Rules and Petri Nets (BFvD, WMPvdA, HMWV), pp. 372–386.
SAC-2005-TrentiniM #framework #java #realtime #validation: Plan validation via petri nets in the real-time performers Java framework (AT, DM), pp. 1534–1538.
CASE-2005-CastelnuovoFP #approach #incremental #modelling #sequence: An incremental Petri net approach to production sequence modeling (AC, LF, LP), pp. 333–338.
CASE-2005-FalkmanLT #algebra #process #specification #using: Specification of a batch plant using process algebra and Petri nets (PF, BL, MT), pp. 339–344.
CASE-2005-TsinarakisTV #hybrid #multi: Studying multi-assembly machine production systems with hybrid timed Petri nets (GJT, NT, KPV), pp. 327–332.
CAV-2005-GardeyLMR #named: Romeo: A Tool for Analyzing Time Petri Nets (GG, DL, MM, OHR), pp. 418–423.
WICSA-2004-PettitG #architecture #behaviour #concurrent #modelling #using: Modeling Behavioral Patterns of Concurrent Software Architectures Using Petri Nets (RGPI, HG), pp. 57–68.
IFM-2004-ThanhK #composition #modelling #object-oriented: Object-Oriented Modelling with High-Level Modular Petri Nets (CBT, HK), pp. 287–306.
SEFM-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.
SFM-2004-BihlerV #performance: Timed Petri Nets: Efficiency of Asynchronous Systems (EB, WV), pp. 25–58.
ICEIS-v3-2004-Salimifard #component #modelling #using: Component-Based Modelling of Organisational Resources Using Coloured Petri Nets (KS), pp. 577–580.
SEKE-2004-HuS #diagrams #simulation #uml: Mapping UML Diagrams to a Petri Net Notation for System Simulation (ZH, SMS), pp. 213–219.
PPDP-2004-FarwerL #model checking #prolog: Model checking object petri nets in prolog (BF, ML), pp. 20–31.
FASE-2004-MoldtO #automation #named: DaGen: A Tool for Automatic Translation from DAML-S to High-Level Petri Nets (DM, JO), pp. 209–213.
CAV-2004-SchroterK #model checking #parallel: Parallel LTL-X Model Checking of High-Level Petri Nets Based on Unfoldings (CS, VK), pp. 109–121.
ICEIS-v1-2003-GhomariD #approach #multi #towards: Towards a Timed-Petri Net Based Approach for Multimedia Scenario Synchronization (AG, CD), pp. 267–272.
ICEIS-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.
ICEIS-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.
GPCE-2003-ZiaeiA #coordination #distributed #named: SynchNet: A Petri Net Based Coordination Language for Distributed Objects (RZ, GA), pp. 324–343.
TACAS-2003-BerthomieuV #analysis #branch: State Class Constructions for Branching Analysis of Time Petri Nets (BB, FV), pp. 442–457.
TACAS-2003-KhomenkoK #branch #process: Branching Processes of High-Level Petri Nets (VK, MK), pp. 458–472.
TACAS-2003-Schmidt #invariant #using: Using Petri Net Invariants in State Space Construction (KS0), pp. 473–488.
ECDL-2002-KaradkarNF #flexibility #library: Employing Smart Browsers to Support Flexible Information Presentation in Petri Net-Based Digital Libraries (UK, JCN, RF), pp. 324–337.
ITiCSE-2002-Barros #concurrent #programming #using: Specific proposals for the use of petri nets in a concurrent programming course (JPB), pp. 165–167.
IFM-2002-KorenblatGK: Translations between Textual Transition Systems and Petri Nets (KK, OG, SK), pp. 339–359.
ICGT-2002-LaraV #modelling #multi #process: Computer Aided Multi-paradigm Modelling to Process Petri-Nets and Statecharts (JdL, HV), pp. 239–253.
ICEIS-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.
DAC-2002-MurugavelR #estimation #modelling: Petri net modeling of gate and interconnect delays for power estimation (AKM, NR), pp. 455–460.
FASE-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.
TACAS-2002-HeljankoKK #algorithm #parallel: Parallelisation of the Petri Net Unfolding Algorithm (KH, VK, MK), pp. 371–385.
CAV-2002-KhomenkoKV #canonical: Canonical Prefixes of Petri Net Unfoldings (VK, MK, WV), pp. 582–595.
DocEng-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.
ITiCSE-2001-Barros #concurrent #programming: Use petri nets to improve your concurrent programming course (JPB), p. 192.
DLT-2001-ItoK: Some Petri Net Languages and Codes (MI, YK), pp. 69–80.
GT-VMT-2001-VerlindenJ #modelling: Modeling Petri Nets by Local Action Systems (NV, DJ), pp. 275–281.
ICEIS-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.
SEKE-2001-LemosP #information management #interactive #modelling #using: Methodology for Modeling Interactions in Cooperative Information Systems Using Colored Petri Nets (AJPL, AP), pp. 299–306.
SEKE-2001-RamosSC #modelling #reuse #using: Reuse of Colored Petri Nets Software Models (FR, JFS, FCS), pp. 145–152.
ASE-2001-GannodG #automation #using: An Automated Tool for Analyzing Petri Nets Using SPIN (GCG, SG), pp. 404–407.
DATE-2001-VareaA #embedded #modelling #specification: Dual transitions petri net based modelling technique for embedded systems specification (MV, BMAH), pp. 566–571.
FoSSaCS-2001-BuscemiS #calculus: High-Level Petri Nets as Type Theories in the Join Calculus (MGB, VS), pp. 104–120.
TACAS-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.
TACAS-2001-Carvajal-SchiaffinoDC #bound #validation: Combining Structural and Enumerative Techniques for the Validation of Bounded Petri Nets (RCS, GD, GC), pp. 435–449.
HT-2000-NaF #hypermedia: Context-aware hypermedia in a dynamically-changing environment, supported by a high-level Petri net (JCN, RF), pp. 222–223.
CSMR-2000-Keller #reverse engineering: Reverse Engineering with Petri Nets (WK), pp. 235–238.
IFM-2000-KlaudelP #composition #concurrent #semantics: A Concurrent and Compositional Petri Net Semantics of Preemption (HK, FP), pp. 318–337.
ICEIS-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.
ICEIS-2000-DietzB #modelling #process #requirements: Petri Net Expressions of Demo Process Models as a Rigid Foundation for Requirements Engineering (JLGD, JB), pp. 267–274.
PPDP-2000-LeuschelL #deduction #problem: Solving coverability problems of petri nets by partial deduction (ML, HL), pp. 268–279.
ASE-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.
DAC-2000-QiuWP #power management #probability #using: Dynamic power management of complex systems using generalized stochastic Petri nets (QQ, QW, MP), pp. 352–356.
CAV-2000-AbdullaIN #bound: Unfoldings of Unbounded Petri Nets (PAA, SPI, AN), pp. 495–507.
CL-2000-LeuschelL #deduction: Coverability of Reset Petri Nets and Other Well-Structured Transition Systems by Partial Deduction (ML, HL), pp. 101–115.
ICALP-1999-BednarczykB #morphism: General Morphisms of Petri Nets (MAB, AMB), pp. 190–199.
FM-v2-1999-HorsteS #formal method #modelling #simulation #using: Formal Modelling and Simulation of Train Control Systems Using Petri Nets (MMzH, ES), p. 1867.
IFL-1999-Reinke #haskell: Haskell-Coloured Petri Nets (CR), pp. 165–180.
HCI-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.
CAiSE-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.
AdaEurope-1999-GarciaV #ada: Translating Time Petri Net Structures into Ada 95 Statements (FJGI, JLV), pp. 158–169.
DAC-1999-SgroiL #embedded #synthesis #using: Synthesis of Embedded Software Using Free-Choice Petri Nets (MS, LL), pp. 805–810.
DATE-1999-StrehlT #diagrams #model checking: Interval Diagram Techniques for Symbolic Model Checking of Petri Nets (KS, LT), pp. 756–757.
PDP-1999-TsiatsoulisDCK #composition #design #specification: Associating composition of Petri net specifications with application designs in GRADE (ZT, GD, JYC, PK), pp. 204–211.
TACAS-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.
TAGT-1998-PadbergGH #development #incremental #safety: Incremental Development of Safety Properties in Petri Net Transformations (JP, MG, KH), pp. 410–425.
TOOLS-ASIA-1998-CheungCC #interactive: Deriving Scenarios Of Object Interaction Through Petri Net (KSC, KOC, TYC), p. 104–?.
ICSE-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.
DATE-1998-PastorC #analysis #encoding #performance: Efficient Encoding Schemes for Symbolic Analysis of Petri Nets (EP, JC), pp. 790–795.
TACAS-1998-Grahlmann #automaton #finite #parallel #source code #using: Combining Finite Automata, Parallel Programs and SDL Using Petri Nets (BG), pp. 102–117.
DLT-1997-TipleaM: Jumping Petri Nets — Specific Properties (FLT, EM), pp. 461–476.
ICALP-1997-Vogler #performance: Efficiency of Asynchronous Systems and Read Arcs in Petri Nets (WV), pp. 538–548.
ICSE-1997-KusumotoMKHTS #probability: A New Software Project Simulator Based on Generalized Stochastic Petri-net (SK, OM, TK, YH, YT, KS), pp. 293–302.
PDP-1997-Sergent #algorithm #distributed #latency #using: Evaluating latency of distributed algorithms using petri nets (NS), pp. 437–444.
TACAS-1997-ChristensenJK #design #named: Design/CPN — A Computer Tool for Coloured Petri Nets (SC, JBJ, LMK), pp. 209–223.
TACAS-1997-Jensen: A Brief Introduction to Coloured Petri Nets (KJ), pp. 203–208.
ICALP-1996-JancarE #bisimulation: Deciding Finiteness of Petri Nets Up To Bisimulation (PJ, JE), pp. 478–489.
FME-1996-ShiN #specification: An Improved Translation of SA/RT Specification Model to High-Level Timed Petri Nets (LS, PN), pp. 518–537.
IFL-1996-Assmann #coordination #functional #process #using: Coordinating Functional Processes Using Petri Nets (CA), pp. 162–183.
SEKE-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.
LOPSTR-1996-FribourgO #logic programming #reduction #source code: Reductions of Petri Nets and Unfolding of Propositional Logic Programs (LF, HO), pp. 187–203.
DAC-1996-SemenovY #using #verification: Verification of asynchronous circuits using Time Petri Net unfolding (ALS, AY), pp. 59–62.
TACAS-1996-BerghammerKU #algebra #analysis #perspective: Realtion-Algebraic Analysis of Petri Nets with RELVIEW (RB, BvK, CU), pp. 49–69.
TACAS-1996-GrahlmannB #named: PEP — More than a Petri Net Tool (BG, EB), pp. 397–401.
ISSTA-1996-ChamillardC #analysis #concurrent #source code: Improving the Accuracy of Petri Net-Based Analysis of Concurrent Programs (ATC, LAC), pp. 24–38.
ICSM-1995-AvrilionisC #maintenance #modelling #process #using: Using views to maintain Petri-net-based process models (DA, PYC), pp. 318–326.
DLT-1995-TipleaE #normalisation: Hierarchies of Petri Net Languages and a Super-Normal Form (FLT, CE), pp. 396–405.
SEKE-1995-Gattiker #functional #probability #representation: Representing Structural and Functional Knowledge with Stochastic Petri Nets (JRG), pp. 47–53.
SEKE-1995-He #formal method: PZ Nets- A Formal Method Integrating Petri Nets with Z (XH), pp. 173–180.
ICSE-1995-DwyerCN #concurrent #representation #source code: A Compact Petri Net Representation for Concurrent Programs (MBD, LAC, KAN), pp. 147–157.
TAPSOFT-1995-Jancar #similarity: High Undecidability of Weak Bisimilarity for Petri Nets (PJ), pp. 349–363.
TAPSOFT-1995-Sassone #on the: On the Category of Petri Net Computations (VS), pp. 334–348.
CAV-1995-HulgaardB #analysis #performance: Efficient Timing Analysis of a Class of Petri Nets (HH, SMB), pp. 423–436.
TAGT-1994-KorffR #graph grammar: Formal Relationship between Graph Grammars and Petri Nets (MK, LR), pp. 288–303.
SEKE-1994-FigueiredoPC #analysis #fuzzy #realtime #using: Timing analysis of real-time software systems using fuzzy time Petri nets (JCAdF, AP, SKC), pp. 257–266.
SEKE-1994-Kramer #modelling #process: Rule-enhanced Petri nets for software process modeling (BJK), pp. 493–500.
SAC-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.
DAC-1994-JongL #communication #concurrent #design: A Communicating Petri Net Model for the Design of Concurrent Asynchronous Modules (GGdJ, BL), pp. 49–55.
PDP-1994-BucciMV #communication #migration #process: Supporting Process Migration Through Communicating Petri Nets (GB, RM, EV), pp. 486–492.
ISSTA-1994-BuyS #analysis #realtime #source code: Analysis of Real-Time Programs with Simple Time Petri Nets (UAB, RHS), pp. 228–239.
ICALP-1993-BrownG #category theory #logic: Temporal Logic and Categories of Petri Nets (CB, DG), pp. 570–581.
CAiSE-1993-PalanqueBDS #design #interface #using: Design of User-Driven Interfaces Using Petri Nets and Objects (PAP, RB, LD, CSB), pp. 569–585.
CSL-1993-Hishfeld #equivalence #problem: Petri Nets and the Equivalence Problem (YH), pp. 165–174.
ICALP-1992-BrownG #category theory: Timing Petri Nets Categorically (CB, DG), pp. 571–582.
ICALP-1992-HoogersKT #semantics: A Trace Semantics for Petri Nets (PWH, HCMK, PST), pp. 595–604.
ICALP-1992-Vogler #communication #refinement: Asynchronous Communication of Petri Nets and the Refinement of Transitions (WV), pp. 605–616.
SEKE-1992-ShimuraLM #logic programming #semantics #source code: A Petri Net Semantics for Logic Programs with Negation (TS, JL, TM), pp. 292–299.
SEKE-1992-TuS #approach #linear #programming #static analysis: Linear Programming Supporting Ada-Tasking Static Analysis: A Petri Net Approach (ST, WS), pp. 222–226.
VDME-1991-HeeSV: Z and High Level Petri Nets (KMvH, LJS, MV), pp. 204–219.
AdaEurope-1991-ChengU #ada #using: Analyzing Ada Tasking Deadlocks and Livelocks Using Extended Petri Nets (JC, KU), pp. 125–146.
PLDI-1991-GaoWN #scheduling: A Timed Petri-Net Model for Fine-Grain Loop Scheduling (GRG, YBW, QN), pp. 204–218.
RE-1991-FranzenS #german: Die Methode der Strukturierten Analyse mit Petri-Netzen (SA/PN) als Echtzeiterweiterung (HF, GS), pp. 178–190.
CAV-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.
CSL-1991-BestE #model checking #persistent: Model Checking of Persistent Petri Nets (EB, JE), pp. 35–52.
SEKE-1990-JeffreyM #set: A High-Level Petri Net for a Subset of FGHC (JJ, TM), pp. 260–266.
SEKE-1990-KehL #design #hypermedia #named: HelpDez: Colored-Petri-Net-Based Hypermedia Help System Designer (HCK, TGL), pp. 245–250.
ICSE-1990-OswaldEM #specification: An Environment for Specifying and Executing Hierarchical Petri Nets (HO, RE, RM), pp. 164–172.
CAV-1990-BerthelotJP #analysis #named: PAPETRI: Environment for the Analysis of Petri Nets (GB, CJ, LP), pp. 13–22.
CAV-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.
LICS-1990-BrownG #category theory #framework #linear: A Categorical Linear Framework for Petri Nets (CB, DG), pp. 208–218.
SEKE-1989-HeL #logic #specification: Deriving Temporal Logic Specifications from Predicate Transition Petri Net (XH, JANL), pp. 116–121.
SEKE-1989-MurataY #realtime #rule-based: Petri Net Method for Real-Time Control of Rule-Based Systems (TM, JY), pp. 122–127.
CAAP-1989-BloomS #equation #parallel: Shuffle Equations, Parallel Transition Systems and Equational Petri Nets (SLB, KS), pp. 134–148.
CCIPL-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.
DAC-1988-Razouk #modelling #pipes and filters: The Use of Petri Nets for Modeling Pipelined Processors (RRR), pp. 548–553.
LICS-1988-MeseguerM #algebra #monad: Petri Nets Are Monoids: A New Algebraic Foundation for Net Theory (JM, UM), pp. 155–164.
LICS-1988-Winskel #composition #proving: A Category of Labelled Petri Nets and Compositional Proof System (GW), pp. 142–154.
ICSE-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.
OOPSLA-1986-BrunoB #distributed #modelling #object-oriented: Petri Net-Based Object-Oriented Modeling of Distributed Systems (GB, AB), pp. 284–293.
RTA-1985-ChoppyJ #named #proving #term rewriting: PETRIREVE: Proving Petri Net Properties with Rewriting Systems (CC, CJ), pp. 271–286.
ICSE-1985-BrunoM #agile #prototype #using: Rapid Prototyping of Control Systems Using High Level Petri Nets (GB, GM), pp. 230–237.
CSE-1985-LevesonS #fault tolerance #safety #using: Analyzing Safety and Fault Tolerance Using Time Petri Nets (NGL, JLS), pp. 339–355.
ICALP-1984-GoltzM #on the: On the Relationship of CCS and Petri Nets (UG, AM), pp. 196–208.
ICSE-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.
RE-1983-Reisig #design #using: System Design Using Petri Nets (WR), pp. 29–41.
DAC-1983-Vida-TorkuH #generative #heuristic #testing: Petri Net based search directing heuristics for test generation (EKVT, BMH), pp. 323–330.
GG-1982-GenrichJRT #graph grammar: Petri nets and their relation to graph grammars (HJG, DJ, GR, PST), pp. 115–129.
STOC-1981-Mayr #algorithm #problem #reachability: An Algorithm for the General Petri Net Reachability Problem (EWM), pp. 238–246.
ICALP-1978-Valk #self: Self-Modifying Nets, a Natural Extension of Petri Nets (RV), pp. 464–476.
DAC-1976-AzemaVD #design #hardware #simulation #verification: Petri nets as a common tool for design verification and hardware simulation (PA, RV, MD), pp. 109–116.
STOC-1976-CardozaLM #commutative #exponential #problem: Exponential Space Complete Problems for Petri Nets and Commutative Semigroups: Preliminary Report (EC, RJL, ARM), pp. 50–54.
POPL-1975-LauerC: A Description of Path Expressions by Petri Nets (PEL, RHC), pp. 95–105.
SOSP-1973-Kosaraju: Limitations of Dijkstra’s Semaphore Primitives and Petri Nets (SRK), pp. 122–136.